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=286
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The expressiveness of DAC
Foto Afrati
,
Irène Guessarian
,
Michel de Rougemont
Theoretical Computer Science
286
(1), 2002, pp. 3-32
Partial order semantics and read arcs
Walter Vogler
Theoretical Computer Science
286
(1), 2002, pp. 33-63
Relating conflict-free stable transition and event models via redex families
Zurab Khasidashvili
,
John Glauert
Theoretical Computer Science
286
(1), 2002, pp. 65-95
Multi-head finite automata: Data-independent versus data-dependent computations
Markus Holzer
Theoretical Computer Science
286
(1), 2002, pp. 97-116
Distances between languages and reflexivity of relations
Christian Choffrut
,
Giovanni Pighizzini
Theoretical Computer Science
286
(1), 2002, pp. 117-138
Optimal algorithms for complete linkage clustering in
d
dimensions
Drqgo Krznaric
,
Christos Levcopoulos
Theoretical Computer Science
286
(1), 2002, pp. 139-149
CASL: The common algebraic specification language
Egidio Astesiano
,
Michel Bidoit
,
Hélène Kirchner
,
Bernd Krieg-Brückner
,
Peter D. Mosses
,
Donald Sannella
,
Andrzej Tarlecki
Theoretical Computer Science
286
(2), 2002, pp. 153-196
Logical systems for structured specifications
Tomasz Borzyszkowski
Theoretical Computer Science
286
(2), 2002, pp. 197-245
Normal forms for algebras of connections
Roberto Bruni
,
Fabio Gadducci
,
Ugo Montanari
Theoretical Computer Science
286
(2), 2002, pp. 247-292
A functorial semantics for multi-algebras and partial algebras, with applications to syntax
Andrea Corradini
,
Fabio Gadducci
Theoretical Computer Science
286
(2), 2002, pp. 293-322
Rasiowa-Sikorski deduction systems in computer science applications
Beata Konikowska
Theoretical Computer Science
286
(2), 2002, pp. 323-366
Relating CASL with other specification languages: The institution level
Till Mossakowski
Theoretical Computer Science
286
(2), 2002, pp. 367-475