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=373
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time
Sebastian Danicic
,
Mark Harman
,
Rob Hierons
,
John Howroyd
,
Michael R. Laurence
Theoretical Computer Science
373
(1-2), 2007, pp. 1-18
Conjunction on processes: Full abstraction via ready-tree semantics
Gerald Lüttgen
,
Walter Vogler
Theoretical Computer Science
373
(1-2), 2007, pp. 19-40
Space-aware ambients and processes
Franco Barbanera
,
Michele Bugliesi
,
Mariangiola Dezani-Ciancaglini
,
Vladimiro Sassone
Theoretical Computer Science
373
(1-2), 2007, pp. 41-69
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
Manuel Clavel
,
José Meseguer
,
Miguel Palomino
Theoretical Computer Science
373
(1-2), 2007, pp. 70-91
Axiomatizations for probabilistic finite-state behaviors
Yuxin Deng
,
Catuscia Palamidessi
Theoretical Computer Science
373
(1-2), 2007, pp. 92-114
Compact and tractable automaton-based representations of time granularities
Ugo Dal Lago
,
Angelo Montanari
,
Gabriele Puppis
Theoretical Computer Science
373
(1-2), 2007, pp. 115-141
Towards ''dynamic domains'': Totally continuous cocomplete
Q
-categories
Isar Stubbe
Theoretical Computer Science
373
(1-2), 2007, pp. 142-160
A rewriting logic framework for operational semantics of membrane systems
Oana Andrei
,
Gabriel Ciobanu
,
Dorel Lucanu
Theoretical Computer Science
373
(3), 2007, pp. 163-181
Adding recursion to DPI
Samuel Hym
,
Matthew Hennessy
Theoretical Computer Science
373
(3), 2007, pp. 182-212
The rewriting logic semantics project
José Meseguer
,
Grigore Roşu
Theoretical Computer Science
373
(3), 2007, pp. 213-237
SOS formats and meta-theory: 20 years after
MohammadReza Mousavi
,
Michel A. Reniers
,
Jan Friso Groote
Theoretical Computer Science
373
(3), 2007, pp. 238-272
A compositional natural semantics and Hoare logic for low-level languages
Ando Saabas
,
Tarmo Uustalu
Theoretical Computer Science
373
(3), 2007, pp. 273-302