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=549
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Algorithmic introduction of quantified cuts
Stefan Hetzl
,
Alexander Leitsch
,
Giselle Reis
,
Daniel Weller
Theoretical Computer Science
549
, 2014, pp. 1-16
Existential type systems between Church and Curry style (type-free style)
Ken-etsu Fujita
,
Aleksy Schubert
Theoretical Computer Science
549
, 2014, pp. 17-35
Proof systems for Moss' coalgebraic logic
Marta Bílková
,
Alessandra Palmigiano
,
Yde Venema
Theoretical Computer Science
549
, 2014, pp. 36-60
Minimal counterexamples for linear-time probabilistic verification
Ralf Wimmer
,
Nils Jansen
,
Erika Ábrahám
,
Joost-Pieter Katoen
,
Bernd Becker
Theoretical Computer Science
549
, 2014, pp. 61-100
A theoretical framework for knowledge-based entity resolution
Klaus-Dieter Schewe
,
Qing Wang
Theoretical Computer Science
549
, 2014, pp. 101-126
Efficient CTL model-checking for pushdown systems
Fu Song
,
Tayssir Touili
Theoretical Computer Science
549
, 2014, pp. 127-145
An algebraic theory of interface automata
Chris Chilton
,
Bengt Jonsson
,
Marta Kwiatkowska
Theoretical Computer Science
549
, 2014, pp. 146-174