Home Advanced Search

Advanced Search - Page 1

Model Theoretic Methods in Finite Combinatorics: Ams-asl Joint Special Session, January 5-8, 2009, Washington, Dc

PDF
English
Year: 2011
Author: Martin Grohe, Johann A. Makowsky (ed.)

Descriptive complexity, canonisation, and definable graph structure theory

PDF
English
Year: 2017
Author: Grohe, Martin

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

PDF
English
Year: 2017
Author: Martin Grohe

Parameterized Complexity Theory

PDF
English
Year: 2006
Author: Jörg Flum, Martin Grohe

Logic Colloquium '95. Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995

PDF
English
Year: 1998
Author: Johann A. Makowsky, Elena V. Ravve

Logic colloquium '95: Proc. Haifa 1995

DJVU
English
Year: 1998
Author: Johann A. Makowsky, Elena V. Ravve

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

PDF
English
Year: 2007
Author: Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.)

International Macroeconomics

PDF
English
Year: 2016
Author: Stephanie Schmitt-Grohe, Martin Uribe, Michael Woodford

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

PDF
English
Year: 2003
Author: Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso (auth.), Matthias Baaz, Johann A. Makowsky (eds.)

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

PDF
English
Year: 2003
Author: Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso (auth.), Matthias Baaz, Johann A. Makowsky (eds.)