Logik und diskrete Systeme
Prof. Dr. Stephan
Kreutzer
| :: | :: | :: | Forschung | :: | :: | :: |
| Stephan Kreutzer |
| Preprints |
| Eingeladene Artikel |
| Zeitschriftenartikel |
| Konferenzen |
| Akademische Arbeiten |
| Paul Hunter |
|
Logik und Informatik, (in german), Stephan Kreutzer and Nicole Schweikardt, in "it - Information Technology", Vol. 46, No. 3, 2004, pages 162-166. | pdf.gz | |||
|
|
Pure and Applied Fixed-Point Logics, (in german), Stephan Kreutzer, in "Ausgezeichnete Informatik Dissertationen 2003" (D. Wagner et al., ed.), vol. D-3 of Lecture Notes in Informatics - Dissertations, pp. 59-68, German Informatics Society (GI), 2003. | ps | ps.gz | ||
|
|
Generalising Automaticity to Model Properties of Finite Structures, Anuj Dawar, Stephan Kreutzer, accepted for publication in Theoretical Computer Science (TCS), 2006 | ps | ps.gz | ||
|
|
An Extension of Muchnik's Theorem Achim Blumensath, Stephan Kreutzer, Journal of Logic and Computation, 15(1), pages 59 - 74, 2005 | ps | ps.gz | ||
|
|
Backtracking Games and Inflationary Fixed Points Anuj Dawar, Erich Grä:del, Stephan Kreutzer, zur Veröffentlichung angenommen in Theoretical Computer Science, ICALP 2004 Selected Paper issue, 2005 | ps | ps.gz | ||
|
|
Expressive Equivalence of Least and Inflationary Fixed-Point Logic, Stephan Kreutzer, Annals of Pure and Applied Logic, LICS 2002 Selected Paper Issue, Volume 130, Issues 1-3, Pages 61-78, 2004 | ps | ps.gz | ||
|
|
Inflationary Fixed Points in Modal Logics, Anuj Dawar, Erich Grädel, and Stephan Kreutzer, ACM Transactions on Computational Logic (TOCL), 5(2), pages 282 - 315, 2004 | ps | ps.gz | ||
|
|
Model theory makes formulas large , Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt, ICALP 2007 | ps | ps.gz | ||
|
|
Boundedness of Monadic FO over Acyclic Structures , Stephan Kreutzer, Martin Otto, Nicole Schweikardt, ICALP 2007 | ps | ps.gz | ||
|
|
Locally Excluding a Minor , Anuj Dawar, Martin Grohe, Stephan Kreutzer, LICS 2007 | ps | ps.gz | ||
|
|
Digraph Measures: Kelly Decompositions, Games, and Orderings , Paul Hunter, Stephan Kreutzer, SODA 2007 | ps | ps.gz | ||
|
|
Approximation Schemes for First-Order Definable Optimisation Problems , Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt, LICS 2006 | ps | ps.gz | ||
|
|
DAG-Width and Parity Games , Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer, STACS 2006 | ps | ps.gz | ||
|
|
The Expressive Power of Two Variable Least Fixed-Point Logics , Martin Grohe, Stephan Kreutzer, Nicole Schweikardt, Symposium on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, 422-434, Springer-Verlag, 2005. | ps | ps.gz | ||
|
|
The Complexity of Independence-Friendly Fixpoint Logic , Julian Bradfield, Stephan Kreutzer, Proceedings of the 14th Annual Conference of the European Association for Computer Science Logic (CSL), Lecture Notes in Computer Science 3634, Springer-Verlag, 2005. | ps | ps.gz | ||
|
|
Backtracking games and inflationary fixed points , Anuj Dawar, Erich Grädel, Stephan Kreutzer, 31st International Colloquium on Automata, Languages and Programming (ICALP), 2004. | ps | ps.gz | ||
|
|
Once upon a time in the west. Determinacy, complexity and definability of path games , Dietmar Berwanger, Erich Grädel, Stephan Kreutzer, in Proceedings of the 10th International Conference on Logic for Programming and Automated Reasoning, LPAR 2003, Almaty (M. Vardi and A. Voronkov, eds.), vol. 2850 of LNCS, pp. 226-240, Springer-Verlag, 2003. | ps | ps.gz | ||
|
|
Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions , Erich Grädel, Stephan Kreutzer, IEEE Symp. on Logic in Computer Science (LICS), 2003. | ps | ps.gz | ||
|
|
Generalising Automaticity to Modal Properties of Finite Structures , Anuj Dawar, Stephan Kreutzer, Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2002. | ps | ps.gz | ||
|
|
Partial Fixed-Point Logic on Infinite Structures , Stephan Kreutzer,Annual Conference of the European Association for Computer Science Logic (CSL), 2002. | ps | ps.gz | ||
|
|
Expressive Equivalence of Least and Inflationary Fixed-Point Logic , Stephan Kreutzer, Proceedings of the 17th IEEE Symp. on Logic in Computer Science (LICS), 2002. | ps | ps.gz | ||
|
|
Operational Semantics for Fixed-Point Logics on Constraint Databases , Stephan Kreutzer, Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), LNAI 2250, 2001. | ps | ps.gz | ||
|
|
Inflationary Fixed Points in Modal Logics
,
Anuj Dawar, Erich Grädel, and Stephan Kreutzer,
Proceedings of the 10th Annual Conference of the
European Association for Computer Science Logic (CSL),
2001.
© Springer Verlag ( LNCS series ) |
ps | ps.gz | ||
|
|
Query Languages for Constraint Databases: First-Order Logic, Fixed-Points,
and Convex Hulls
,
Stephan Kreutzer, Proceedings of the 8th International
Conference on Database Theory (ICDT), 2001.
© Springer Verlag ( LNCS series ) |
ps | ps.gz | ||
|
|
Fixed-Point Query Languages for Linear Constraint Databases , Stephan Kreutzer, Proceedings of the 19th ACM Symp. on Principles of Database Systems (PODS), 2000. | ps | ps.gz | ||
|
|
Descriptive Complexity Theory for Constraint Databases
,
Erich Grädel, Stephan Kreutzer, Proceedings of CSL
'99, Lecture Notes in Computer Science 1683, Springer 1999.
© Springer Verlag ( LNCS series ) |
ps | ps.gz | ||
|
|
Pure and Applied Fixed-Point Logics, Stephan Kreutzer, Dissertation, RWTH Aachen, 2002 | ps | ps.gz | ||
|
|
Descriptive Complexity Theory for Constraint Databases, Stephan Kreutzer, Diplomarbeit, RWTH Aachen, 1999 | ps | ps.gz | ||
| Arbeitsgruppe Logik in der Informatik | this page in English |