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=278
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Cartesian logic
Peter Freyd
Theoretical Computer Science
278
(1-2), 2002, pp. 3-21
Fixpoint semantics for logic programming a survey
Melvin Fitting
Theoretical Computer Science
278
(1-2), 2002, pp. 25-51
A fully abstract denotational semantics for the
\pi
-calculus
Matthew Hennessy
Theoretical Computer Science
278
(1-2), 2002, pp. 53-89
Relative definability of Boolean functions via hypergraphs
Antonio Bucciarelli
,
Pasquale Malacaria
Theoretical Computer Science
278
(1-2), 2002, pp. 91-110
Polymorphic lambda calculus and subtyping
Adrian Fiech
,
David A. Schmidt
Theoretical Computer Science
278
(1-2), 2002, pp. 111-140
The essence of ideal completion in quantitative form
Robert C. Flagg
,
Philipp Sünderhauf
Theoretical Computer Science
278
(1-2), 2002, pp. 141-158
On the Yoneda completion of a quasi-metric space
H.P. Künzi
,
M.P. Schellekens
Theoretical Computer Science
278
(1-2), 2002, pp. 159-194
Resource traces: A domain for processes sharing exclusive resources
Paul Gastin
,
Dan Teodosiu
Theoretical Computer Science
278
(1-2), 2002, pp. 195-221
Truly concurrent constraint programming
V. Gupta
,
R. Jagadeesan
,
V.A. Saraswat
Theoretical Computer Science
278
(1-2), 2002, pp. 223-255
Lifting results for categories of algebras
P.S. Mulry
Theoretical Computer Science
278
(1-2), 2002, pp. 257-269
Soundness of data refinement for a higher-order imperative language
David A. Naumann
Theoretical Computer Science
278
(1-2), 2002, pp. 271-301
Premonoidal categories as categories with algebraic structure
John Power
Theoretical Computer Science
278
(1-2), 2002, pp. 303-321
Fixpoint operators for domain equations
John Power
,
Giuseppe Rosolini
Theoretical Computer Science
278
(1-2), 2002, pp. 323-333