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 311; Issue 1-3
Main
Theoretical Computer Science
Volume 311; Issue 1-3
Theoretical Computer Science
Volume 311; Issue 1-3
1
ER modelling from first relational principles
Ernst-Erich Doberkat
,
Eugenio G. Omodeo
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 397 KB
Your tags:
english, 2004
2
On the decidability of the termination problem of active database systems
James Bailey
,
Guozhu Dong
,
Kotagiri Ramamohanarao
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 447 KB
Your tags:
english, 2004
3
Interpolation in Grothendieck Institutions
Răzvan Diaconescu
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 357 KB
Your tags:
english, 2004
4
Well-behaved flow event structures for parallel composition and action refinement
Rob van Glabbeek
,
Ursula Goltz
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 264 KB
Your tags:
english, 2004
5
Rules + strategies for transforming lazy functional logic programs
Marı́a Alpuente
,
Moreno Falaschi
,
Ginés Moreno
,
Germán Vidal
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 575 KB
Your tags:
english, 2004
6
Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory
Claudio Hermida
,
P. Mateus
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 750 KB
Your tags:
english, 2004
7
Confluence of the coinductive λ-calculus
Felix Joachimski
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 246 KB
Your tags:
english, 2004
8
A generic type system for the Pi-calculus
Atsushi Igarashi
,
Naoki Kobayashi
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 468 KB
Your tags:
english, 2004
9
On liveness and boundedness of asymmetric choice nets
Li Jiao
,
To-Yat Cheung
,
Weiming Lu
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 444 KB
Your tags:
english, 2004
10
Limiting partial combinatory algebras
Yohji Akama
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 321 KB
Your tags:
english, 2004
11
An efficient algorithm for computing bisimulation equivalence
Agostino Dovier
,
Carla Piazza
,
Alberto Policriti
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 613 KB
Your tags:
english, 2004
12
On tree coalgebras and coalgebra presentations
J. Adámek
,
H.-E. Porst
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 348 KB
Your tags:
english, 2004
13
Editorial board v-x
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 113 KB
Your tags:
english, 2004
14
Precise interprocedural dependence analysis of parallel programs
Markus Müller-Olm
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 630 KB
Your tags:
english, 2004
15
Erratum to: “A new framework for declarative programming”: [Theoret. Comput. Sci. 300 (2003) 91–160]
Stacy E. Finkelstein
,
Peter Freyd
,
James Lipton
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 135 KB
Your tags:
english, 2004
16
Principality and type inference for intersection types using expansion variables
A.J. Kfoury
,
J.B. Wells
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 708 KB
Your tags:
english, 2004
17
Author index
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 125 KB
Your tags:
english, 2004
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
×
×