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=353
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The HASCASL prologue: Categorical syntax and semantics of the partial
\lambda
-calculus
Lutz Schröder
Theoretical Computer Science
353
(1-3), 2006, pp. 1-25
Similarity between preferential models
Zhaohui Zhu
Theoretical Computer Science
353
(1-3), 2006, pp. 26-52
On a problem of Fagin concerning multivalued dependencies in relational databases
Sven Hartmann
,
Sebastian Link
Theoretical Computer Science
353
(1-3), 2006, pp. 53-62
Structure of proofs and the complexity of cut elimination
Wenhui Zhang
Theoretical Computer Science
353
(1-3), 2006, pp. 63-70
Automatic workflow verification and generation
Shiyong Lu
,
Arthur Bernstein
,
Philip Lewis
Theoretical Computer Science
353
(1-3), 2006, pp. 71-92
Complete axiomatization and decidability of alternating-time temporal logic
Valentin Goranko
,
Govert van Drimmelen
Theoretical Computer Science
353
(1-3), 2006, pp. 93-117
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
John C. Mitchell
,
Ajith Ramanathan
,
Andre Scedrov
,
Vanessa Teague
Theoretical Computer Science
353
(1-3), 2006, pp. 118-164
Linear and affine logics with temporal, spatial and epistemic operators
Norihiro Kamide
Theoretical Computer Science
353
(1-3), 2006, pp. 165-207
CTL* model checking for time Petri nets
Hanifa Boucheneb
,
Rachid Hadjidj
Theoretical Computer Science
353
(1-3), 2006, pp. 208-227
Specification, testing and implementation relations for symbolic-probabilistic systems
Natalia López
,
Manuel Núñez
,
Ismael Rodríguez
Theoretical Computer Science
353
(1-3), 2006, pp. 228-248
Efficient timed model checking for discrete-time systems
F. Laroussinie
,
N. Markey
,
Ph. Schnoebelen
Theoretical Computer Science
353
(1-3), 2006, pp. 249-271
Automatic semigroups and categories
Mark Kambites
Theoretical Computer Science
353
(1-3), 2006, pp. 272-290
Testing against a non-controllable stream X-machine using state counting
Florentin Ipate
Theoretical Computer Science
353
(1-3), 2006, pp. 291-316