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=294
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On final coalgebras of continuous functors
Jiȓí Adámek
Theoretical Computer Science
294
(1-2), 2003, pp. 3-29
An equational notion of lifting monad
Anna Bucalo
,
Carsten Führmann
,
Alex Simpson
Theoretical Computer Science
294
(1-2), 2003, pp. 31-60
Restriction categories II: Partial map classification
J.R.B. Cockett
,
Stephen Lack
Theoretical Computer Science
294
(1-2), 2003, pp. 61-102
Combining word problems through rewriting in categories with products
Camillo Fiorentini
,
Silvio Ghilardi
Theoretical Computer Science
294
(1-2), 2003, pp. 103-149
Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay
Thomas T. Hildebrandt
Theoretical Computer Science
294
(1-2), 2003, pp. 151-181
Glueing and orthogonality for models of linear logic
Martin Hyland
,
Andrea Schalk
Theoretical Computer Science
294
(1-2), 2003, pp. 183-231
Recursion and corecursion have the same equational logic
Lawrence S. Moss
Theoretical Computer Science
294
(1-2), 2003, pp. 233-267
Exhausting strategies, joker games and full completeness for IMLL with unit
A.S. Murawski
,
C.-H.L. Ong
Theoretical Computer Science
294
(1-2), 2003, pp. 269-305
A domain-theoretic semantics of lax generic functions
Hideki Tsuiki
Theoretical Computer Science
294
(1-2), 2003, pp. 307-331
Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives
V. Michele Abrusci
Theoretical Computer Science
294
(3), 2003, pp. 335-351
Computational isomorphisms in classical logic
Vincent Danos
,
Jean-Baptiste Joinet
,
Harold Schellinx
Theoretical Computer Science
294
(3), 2003, pp. 353-378
Coherence for sharing proof-nets
Stefano Guerrini
,
Simone Martini
,
Andrea Masini
Theoretical Computer Science
294
(3), 2003, pp. 379-409
Encoding transition systems in sequent calculus
Raymond McDowell
,
Dale Miller
,
Catuscia Palamidessi
Theoretical Computer Science
294
(3), 2003, pp. 411-437
Chu spaces as a semantic bridge between linear logic and mathematics
Vaughan Pratt
Theoretical Computer Science
294
(3), 2003, pp. 439-471
Handosme proof-nets: Perfect matchings and cographs
Christian Retoré
Theoretical Computer Science
294
(3), 2003, pp. 473-488
Additives of linear logic and normalization - Part I: A (restricted) Church-Rosser property
Lorenzo Tortora de Falco
Theoretical Computer Science
294
(3), 2003, pp. 489-524
Phase semantics for light linear logic
Max I. Kanovich
,
Mitsuhiro Okada
,
Andre Scedrov
Theoretical Computer Science
294
(3), 2003, pp. 525-549
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
Misao Nagayama
,
Mitsuhiro Okada
Theoretical Computer Science
294
(3), 2003, pp. 551-573