Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Algorithmic-Logical Theory of Infinite Structures"( http://dblp.L3S.de/Venues/Algorithmic-Logical_Theory_of_Infinite_Structures )

URL (DBLP): http://dblp.uni-trier.de/db/conf/dagstuhl

Publication years (Num. hits)
2007 (6) 2008 (1)
Publication types (Num. hits)
inproceedings(6) proceedings(1)
Venues (Conferences, Journals, ...)
Algorithmic-Logical Theory of ...(7)
Authors
Markus Lohrey(5) Dietrich Kuske(4) Bakhadyr Khoussainov(3) Moshe Y. Vardi(3) Rod Downey(3) Carsten Lutz(1) Stefan Göller(1) Thierry Cachat(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi (eds.) Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007 Search on Bibsonomy Algorithmic-Logical Theory of Infinite Structures The full citation details ... 2008 DBLP  BibTeX  RDF
1Markus Lohrey Application of verification techniques to inverse monoids. Search on Bibsonomy Algorithmic-Logical Theory of Infinite Structures The full citation details ... 2007 DBLP  BibTeX  RDF
1Stefan Göller, Markus Lohrey, Carsten Lutz PDL with Intersection and Converse is 2EXP-complete. Search on Bibsonomy Algorithmic-Logical Theory of Infinite Structures The full citation details ... 2007 DBLP  BibTeX  RDF
1Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi 07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures. Search on Bibsonomy Algorithmic-Logical Theory of Infinite Structures The full citation details ... 2007 DBLP  BibTeX  RDF
1Dietrich Kuske Compatibility of Shelah and Stupp's and of Muchnik's iteration with fragments of monadic second order logic. Search on Bibsonomy Algorithmic-Logical Theory of Infinite Structures The full citation details ... 2007 DBLP  BibTeX  RDF
1Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi 07441 Summary -- Algorithmic-Logical Theory of Infinite Structures. Search on Bibsonomy Algorithmic-Logical Theory of Infinite Structures The full citation details ... 2007 DBLP  BibTeX  RDF
1Thierry Cachat Tree Automata Make Ordinal Theory Easy. Search on Bibsonomy Algorithmic-Logical Theory of Infinite Structures The full citation details ... 2007 DBLP  BibTeX  RDF
Displaying result #1 - #7 of 7 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.