Skip to contents Logical Frameworks for Truth and Abstraction - An Axiomatic Study: Inductive Models and Definability Theory Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier, 1996 Published in: Logical Frameworks for Truth and Abstraction - An Axiomatic Study (1996), Seite 85-101 Lautemann, Clemens Computer Science Logic: Logical definability of NP-optimisation problems with monadic auxiliary predicates Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1993 Published in: Computer Science Logic (1993), Seite 327-339 Choffrut, C.; Guerra, L. Lecture Notes in Computer Science: On the logical definability of some rational trace languages Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1993 Published in: Lecture Notes in Computer Science (1993), Seite 494-504
Logical Frameworks for Truth and Abstraction - An Axiomatic Study: Inductive Models and Definability Theory Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier, 1996 Published in: Logical Frameworks for Truth and Abstraction - An Axiomatic Study (1996), Seite 85-101
Lautemann, Clemens Computer Science Logic: Logical definability of NP-optimisation problems with monadic auxiliary predicates Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1993 Published in: Computer Science Logic (1993), Seite 327-339
Choffrut, C.; Guerra, L. Lecture Notes in Computer Science: On the logical definability of some rational trace languages Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1993 Published in: Lecture Notes in Computer Science (1993), Seite 494-504
> Access State Skip to next facet Open Access (8) Wert ausschließen Without Specification (15) Wert ausschließen Show more show less
> Language Skip to next facet English (13) Wert ausschließen Not determined (10) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (8) Wert ausschließen Mathmatics (6) Wert ausschließen Philosophy (2) Wert ausschließen Show more show less
> Creator Skip to next facet Choffrut, C. (2) Wert ausschließen Choffrut, Christian (2) Wert ausschließen Ebinger, Werner (2) Wert ausschließen Guerra, L. (2) Wert ausschließen Muscholl, Anca (2) Wert ausschließen Arnold, André (1) Wert ausschließen Benedikt, Michael (1) Wert ausschließen Chistikov, Dmitry (1) Wert ausschließen Compton, Kevin J. (1) Wert ausschließen Djelloul, Selma (1) Wert ausschließen Dmitry Chistikov and Christoph Haase (1) Wert ausschließen Droste, Manfred (1) Wert ausschließen Fiore, Marcelo (1) Wert ausschließen Grandjean, Etienne (1) Wert ausschließen Grandjean, É (1) Wert ausschließen Grädel, Erich (1) Wert ausschließen Guerra, Leucio (1) Wert ausschließen Haase, Christoph (1) Wert ausschließen Kolaitis, P.G. (1) Wert ausschließen Kuske, Dietrich (1) Wert ausschließen Lautemann, Clemens (1) Wert ausschließen Libkin, Leonid (1) Wert ausschließen Neven, Frank (1) Wert ausschließen OKADA, Mitsuhiro (1) Wert ausschließen Olive, F. (1) Wert ausschließen Olive, Frédéric (1) Wert ausschließen Ramanujam, R. (1) Wert ausschließen Simpson, Alex (1) Wert ausschließen Thakur, M.N. (1) Wert ausschließen Thinniyam, R. S. (1) Wert ausschließen Vickers, John M (1) Wert ausschließen Zhong, Haixia (1) Wert ausschließen Zimand, Marius (1) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (7) Wert ausschließen Elsevier BV (CrossRef) (5) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (2) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (1) Wert ausschließen BASE - Bielefeld Academic Search Engine (1) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (1) Wert ausschließen Elsevier (CrossRef) (1) Wert ausschließen IOS Press (CrossRef) (1) Wert ausschließen Informa UK Limited (CrossRef) (1) Wert ausschließen Project MUSE (CrossRef) (1) Wert ausschließen Society for Industrial & Applied Mathematics (SIAM) (CrossRef) (1) Wert ausschließen Springer International Publishing (CrossRef) (1) Wert ausschließen The Japan Association for Philosophy of Science (CrossRef) (1) Wert ausschließen Show more show less