default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 152
Volume 152, Numbers 1-3, March 2008
- Ruy J. G. B. de Queiroz, Angus Macintyre:
Logic, Language, Information and Computation. 1-2 - Marcelo Arenas, Pablo Barceló, Leonid Libkin
:
Game-based notions of locality over finite models. 3-30 - Anuj Dawar, David Richerby, Benjamin Rossman:
Choiceless polynomial time, counting and the Cai-Fürer-Immerman graphs. 31-50 - Santiago Figueira, André Nies, Frank Stephan:
Lowness properties and approximations of the jump. 51-66 - Melvin Fitting:
A quantified logic of evidence. 67-83 - Sven Hartmann, Sebastian Link:
Characterising nested database dependencies by fragments of propositional logic. 84-106 - Ozan Kahramanogullari:
System BV is NP-complete. 107-121 - Richard Lassaigne, Sylvain Peyronnet:
Probabilistic verification and approximation. 122-131 - Ana Teresa C. Martins, Lília Ramalho Martins:
Full classical S5 in natural deduction with weak normalization. 132-147 - Grigori Mints:
Cut elimination for a simple formulation of epsilon calculus. 148-160 - Guilherme de Souza Rabello, Marcelo Finger:
Approximations of modal logics: K and beyond. 161-173 - Joel H. Spencer, Katherine St. John:
The complexity of random ordered structures. 174-179
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.
last updated on 2024-12-19 22:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
