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=323
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A theory of bisimulation for a fragment of concurrent ML with local names
Alan Jeffrey
,
Julian Rathke
Theoretical Computer Science
323
(1-3), 2004, pp. 1-48
Getting results from programs extracted from classical proofs
C. Raffalli
Theoretical Computer Science
323
(1-3), 2004, pp. 49-70
Pattern matching as cut elimination
Serenella Cerrito
,
Delia Kesner
Theoretical Computer Science
323
(1-3), 2004, pp. 71-127
Domain and event structure semantics for Petri nets with read and inhibitor arcs
P. Baldan
,
N. Busi
,
A. Corradini
,
G.M. Pinna
Theoretical Computer Science
323
(1-3), 2004, pp. 129-189
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
R.M. Hierons
,
M. Harman
Theoretical Computer Science
323
(1-3), 2004, pp. 191-233
Interpreted systems and Kripke models for multiagent systems from a categorical perspective
Timothy Porter
Theoretical Computer Science
323
(1-3), 2004, pp. 235-266
The first order theory of primal grammars is decidable
Nicolas Peltier
Theoretical Computer Science
323
(1-3), 2004, pp. 267-320
Reasoning with power defaults
Guo-Qiang Zhang
,
William C. Rounds
Theoretical Computer Science
323
(1-3), 2004, pp. 321-350
Formalizing generalized maps in Coq
Christophe Dehlinger
,
Jean-François Dufourd
Theoretical Computer Science
323
(1-3), 2004, pp. 351-397
Formalizing the trading theorem in Coq
Christophe Dehlinger
,
Jean-François Dufourd
Theoretical Computer Science
323
(1-3), 2004, pp. 399-442
Sound generalizations in mathematical induction
Pascal Urso
,
Emmanuel Kounalis
Theoretical Computer Science
323
(1-3), 2004, pp. 443-471
Nominal unification
Christian Urban
,
Andrew M. Pitts
,
Murdoch J. Gabbay
Theoretical Computer Science
323
(1-3), 2004, pp. 473-497