DIMACS Workshop: Descriptive Complexity and Finite Models 1996

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > DIMACS Workshop

- view
- export record
  dblp key:
  - conf/dimacs/1996
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/1996
Neil Immerman, Phokion G. Kolaitis:
Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop 1996, Princeton, New Jersey, USA, January 14-17, 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 31, DIMACS/AMS 1996, ISBN 978-0-8218-0517-6
- view
- export record
  dblp key:
  - conf/dimacs/Fagin96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/Fagin96
Ronald Fagin:
Easier Ways to Win Logical Games. 1-32
- view
- export record
  dblp key:
  - conf/dimacs/Courcelle96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/Courcelle96
Bruno Courcelle:
On the Expression of Graph Properties in some Fragments of Monadic Second-Order Logic. 33-62
- view
- export record
  dblp key:
  - conf/dimacs/Straubing96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/Straubing96
Howard Straubing:
Finite Models, Automata, and Circuit Complexity. 63-96
- view
- export record
  dblp key:
  - conf/dimacs/Vianu96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/Vianu96
Victor Vianu:
Databases and Finite-Model Theory. 97-148
- view
- export record
  dblp key:
  - conf/dimacs/Vardi96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/Vardi96
Moshe Y. Vardi:
Why is Modal Logic So Robustly Decidable? 149-183
- view
- export record
  dblp key:
  - conf/dimacs/Emerson96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/Emerson96
E. Allen Emerson:
Model Checking and the Mu-calculus. 185-214
- view
- export record
  dblp key:
  - conf/dimacs/Pitassi96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/Pitassi96
Toniann Pitassi:
Algebraic Propositional Proof Systems. 215-244

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.