books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 308; Issue 1-3
Main
Theoretical Computer Science
Volume 308; Issue 1-3
Theoretical Computer Science
Volume 308; Issue 1-3
1
Distributivity of categories of coalgebras
H.Peter Gumm
,
Jesse Hughes
,
Tobias Schröder
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 384 KB
Your tags:
english, 2003
2
Clustering for Petri nets
Walter Keller
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 658 KB
Your tags:
english, 2003
3
Linearisability on datalog programs
Foto Afrati
,
Manolis Gergatsoulis
,
Francesca Toni
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 339 KB
Your tags:
english, 2003
4
Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic
Karim Nour
,
Christophe Raffalli
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 241 KB
Your tags:
english, 2003
5
A first-order one-pass CPS transformation
Olivier Danvy
,
Lasse R. Nielsen
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 497 KB
Your tags:
english, 2003
6
Dependent choice, ‘quote’ and the clock
Jean-Louis Krivine
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 302 KB
Your tags:
english, 2003
7
Model checking mobile ambients
Witold Charatonik
,
Silvano Dal Zilio
,
Andrew D. Gordon
,
Supratik Mukhopadhyay
,
Jean-Marc Talbot
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 789 KB
Your tags:
english, 2003
8
Adapting innocent game models for the Böhm tree λ-theory
Andrew D. Ker
,
Hanno Nickau
,
C.-H.Luke Ong
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 759 KB
Your tags:
english, 2003
9
A fixpoint theory for non-monotonic parallelism
Yifeng Chen
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 290 KB
Your tags:
english, 2003
10
Categorical foundations for randomly timed automata
P. Mateus
,
M. Morais
,
C. Nunes
,
A. Pacheco
,
A. Sernadas
,
C. Sernadas
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 498 KB
Your tags:
english, 2003
11
Behavioural differential equations: a coinductive calculus of streams, automata, and power series
J.J.M.M. Rutten
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 820 KB
Your tags:
english, 2003
12
Parametrized semantics of logic programs—a unifying framework
Yann Loyer
,
Nicolas Spyratos
,
Daniel Stamate
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 288 KB
Your tags:
english, 2003
13
Self-stabilizing timestamps
Uri Abraham
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 697 KB
Your tags:
english, 2003
14
Tau laws for pi calculus
Yuxi Fu
,
Zhenrong Yang
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 1.32 MB
Your tags:
english, 2003
15
Editorial board v-x
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 114 KB
Your tags:
english, 2003
16
Author index
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 134 KB
Your tags:
english, 2003
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×