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=360
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A modal proof theory for final polynomial coalgebras
David Friggens
,
Robert Goldblatt
Theoretical Computer Science
360
(1-3), 2006, pp. 1-22
Theoretical foundations of dynamic program slicing
Dave Binkley
,
Sebastian Danicic
,
Tibor Gyimóthy
,
Mark Harman
,
Ákos Kiss
,
Bogdan Korel
Theoretical Computer Science
360
(1-3), 2006, pp. 23-41
On structuring proof search for first order linear logic
Paola Bruscoli
,
Alessio Guglielmi
Theoretical Computer Science
360
(1-3), 2006, pp. 42-76
Boolean restriction categories and taut monads
Ernie Manes
Theoretical Computer Science
360
(1-3), 2006, pp. 77-95
LTL over integer periodicity constraints
Stéphane Demri
Theoretical Computer Science
360
(1-3), 2006, pp. 96-123
Two polygraphic presentations of Petri nets
Yves Guiraud
Theoretical Computer Science
360
(1-3), 2006, pp. 124-146
A characterization theorem for injective model classes axiomatized by general rules
Zhaohui Zhu
,
Rong Zhang
,
Shan Lu
Theoretical Computer Science
360
(1-3), 2006, pp. 147-171
Decidability of performance equivalence for basic parallel processes
Sƚawomir Lasota
Theoretical Computer Science
360
(1-3), 2006, pp. 172-192
Eigenvariables, bracketing and the decidability of positive minimal predicate logic
Gilles Dowek
,
Ying Jiang
Theoretical Computer Science
360
(1-3), 2006, pp. 193-208
Bisimulation on speed: A unified approach
Gerald Lüttgen
,
Walter Vogler
Theoretical Computer Science
360
(1-3), 2006, pp. 209-227
Normal forms for binary relations
Daniel J. Dougherty
,
Claudio Gutiérrez
Theoretical Computer Science
360
(1-3), 2006, pp. 228-246
Multimodal logic programming
Linh Anh Nguyen
Theoretical Computer Science
360
(1-3), 2006, pp. 247-288
Investigations on the Dual calculus
Nikos Tzevelekos
Theoretical Computer Science
360
(1-3), 2006, pp. 289-326
Boolean operations and inclusion test for attribute-element constraints
Haruo Hosoya
,
Makoto Murata
Theoretical Computer Science
360
(1-3), 2006, pp. 327-351
Model checking for process rewrite systems and a class of action-based regular properties
Laura Bozzelli
Theoretical Computer Science
360
(1-3), 2006, pp. 352-372
Approximating and computing behavioural distances in probabilistic transition systems
Franck van Breugel
,
James Worrell
Theoretical Computer Science
360
(1-3), 2006, pp. 373-385
Semantic foundations for generalized rewrite theories
Roberto Bruni
,
José Meseguer
Theoretical Computer Science
360
(1-3), 2006, pp. 386-414
Interfaces as functors, programs as coalgebras - A final coalgebra theorem in intensional type theory
Markus Michelbrink
Theoretical Computer Science
360
(1-3), 2006, pp. 415-439
Processes as formal power series: A coinductive approach to denotational semantics
Michele Boreale
,
Fabio Gadducci
Theoretical Computer Science
360
(1-3), 2006, pp. 440-458
Erratum to ''Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets''
Sven Hartmann
,
Sebastian Link
,
Klaus-Dieter Schewe
Theoretical Computer Science
360
(1-3), 2006, pp. 459-459