Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=311
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Principality and type inference for intersection types using expansion variables
A.J. Kfoury
,
J.B. Wells
Theoretical Computer Science
311
(1-3), 2004, pp. 1-70
Paracategories II: Adjunctions, fibrations and examples from probabilistic automata theory
Claudio Hermida
,
P. Mateus
Theoretical Computer Science
311
(1-3), 2004, pp. 71-103
Confluence of the coinductive
\lambda
-calculus
Felix Joachimski
Theoretical Computer Science
311
(1-3), 2004, pp. 105-119
A generic type system for the
\pi
-calculus
Atsushi Igarashi
,
Naoki Kobayashi
Theoretical Computer Science
311
(1-3), 2004, pp. 121-163
On liveness and boundedness of asymmetric choice nets
Li Jiao
,
To-Yat Cheung
,
Weiming Lu
Theoretical Computer Science
311
(1-3), 2004, pp. 165-197
Limiting partial combinatory algebras
Yohji Akama
Theoretical Computer Science
311
(1-3), 2004, pp. 199-220
An efficient algorithm for computing bisimulation equivalence
Agostino Dovier
,
Carla Piazza
,
Alberto Policriti
Theoretical Computer Science
311
(1-3), 2004, pp. 221-256
On tree coalgebras and coalgebra presentations
J. Adámek
,
H.-E. Porst
Theoretical Computer Science
311
(1-3), 2004, pp. 257-283
ER modelling from first relational principles
Ernst-Erich Doberkat
,
Eugenio G. Omodeo
Theoretical Computer Science
311
(1-3), 2004, pp. 285-323
Precise interprocedural dependence analysis of parallel programs
Markus Müller-Olm
Theoretical Computer Science
311
(1-3), 2004, pp. 325-388
On the decidability of the termination problem of active database systems
James Bailey
,
Guozhu Dong
,
Kotagiri Ramamohanarao
Theoretical Computer Science
311
(1-3), 2004, pp. 389-437
Interpolation in Grothendieck institutions
Rȃzvan Diaconescu
Theoretical Computer Science
311
(1-3), 2004, pp. 439-461
Well-behaved flow event structures for parallel composition and action refinement
Rob van Glabbeek
,
Ursula Goltz
Theoretical Computer Science
311
(1-3), 2004, pp. 463-478
Rules + strategies for transforming lazy functional logic programs
María Alpuente
,
Moreno Falaschi
,
Ginés Moreno
,
Germán Vidal
Theoretical Computer Science
311
(1-3), 2004, pp. 479-525
Erratum to ''A new framework for declarative programming''
Stacy E. Finkelstein
,
Peter Freyd
,
James Lipton
Theoretical Computer Science
311
(1-3), 2004, pp. 527-527