Zum Inhalt springen Logical Frameworks for Truth and Abstraction - An Axiomatic Study: Inductive Models and Definability Theory Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier, 1996 Erschienen 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 Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1993 Erschienen 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 Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1993 Erschienen in: Lecture Notes in Computer Science (1993), Seite 494-504
Logical Frameworks for Truth and Abstraction - An Axiomatic Study: Inductive Models and Definability Theory Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier, 1996 Erschienen in: Logical Frameworks for Truth and Abstraction - An Axiomatic Study (1996), Seite 85-101
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lautemann, Clemens Computer Science Logic: Logical definability of NP-optimisation problems with monadic auxiliary predicates Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1993 Erschienen in: Computer Science Logic (1993), Seite 327-339
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Choffrut, C.; Guerra, L. Lecture Notes in Computer Science: On the logical definability of some rational trace languages Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1993 Erschienen in: Lecture Notes in Computer Science (1993), Seite 494-504
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Zugangsstatus Skip to next facet Freier Zugang (8) Wert ausschließen Ohne Angabe (15) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (13) Wert ausschließen Nicht zu entscheiden (10) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (8) Wert ausschließen Mathematik (6) Wert ausschließen Philosophie (2) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution 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 zeige weitere weniger zeigen
> Kollektion 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 zeige weitere weniger zeigen