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
[1]
Hilfe
Suche: Author="Janin, David"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Algebras, automata and logic for languages of labeled birooted trees
David Janin
Lecture Notes in Computer Science
7966
, 2013, pp. 312-323
Quasi-recognizable vs MSO definable languages of one-dimensional overlapping tiles
David Janin
Lecture Notes in Computer Science
7464
, 2012, pp. 516-528
The monadic theory of finite representations of infinite words
Anuj Dawar
,
David Janin
Information Processing Letters
103
(3), 2007, pp. 94-101
On the bisimulation invariant fragment of monadic
\Sigma_1
in the finite
Anuj Dawar
,
David Janin
Lecture Notes in Computer Science
3328
, 2004, pp. 224-236
A toolkit for first order extensions of monadic games
David Janin
,
Jerzy Marcinkowski
Lecture Notes in Computer Science
2010
, 2001, pp. 353-364
Automata for the modal
\mu
-calculus and related results
David Janin
,
Igor Walukiewicz
Lecture Notes in Computer Science
969
, 1995, pp. 552-562
Some results about logical descriptions of non deterministic behaviours
David Janin
Lecture Notes in Computer Science
761
, 1993, pp. 338-347