Zum Inhalt springen

  1. Börger, Egon [VerfasserIn] ; Grädel, Erich [Sonstige Person, Familie und Körperschaft]; Gurevič, Jurij [Sonstige Person, Familie und Körperschaft]; Gurevich, Yuri [Sonstige Person, Familie und Körperschaft]

    The classical decision problem

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1997

    Erschienen in: Perspectives in mathematical logic

  2. Andréka, Hajnal [VerfasserIn] ; Givant, Steven R. [Sonstige Person, Familie und Körperschaft]; Nemeti, Istvan [Sonstige Person, Familie und Körperschaft]

    Decision problems for equational theories of relation algebras

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Providence, RI: American Mathematical Society, 1997

    Erschienen in: American Mathematical Society: Memoirs of the American Mathematical Society ; 604

  8. Deutsch, Michael [VerfasserIn]

    Ontologie und Methode der Mathematik

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Bremen: Universitätsdruckerei, 2007

  9. Tarski, Alfred [Sonstige Person, Familie und Körperschaft]; Mostowski, Andrzej [Sonstige Person, Familie und Körperschaft]; Robinson, Raphael Mitchel [Sonstige Person, Familie und Körperschaft] ; ScienceDirect (Online service)

    Undecidable theories

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam: North-Holland, 1953 ; Online-Ausg.: 2010

    Erschienen in: Studies in Logic and the Foundations of Mathematics ; v. 13

  10. Dahmoune, Mohamed [VerfasserIn] ; Paris Est [MitwirkendeR]; Cegielski, Patrick [MitwirkendeR]

    Quelques contributions en logique mathématique et en théorie des automates ; Some contributions in mathematical logic and automata theory

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-06-23

  11. Voigt, Marco [VerfasserIn] ; Weidenbach, Christoph [AkademischeR BetreuerIn]

    Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2019

  12. Voigt, Marco [VerfasserIn] ; Weidenbach, Christoph [MitwirkendeR]

    Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarländische Universitäts- und Landesbibliothek, 2019

  16. Siefkes, Dirk

    Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Bulletin of the American Mathematical Society, vol. 74 (1968), pp. 1025–1029. - Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Transactions of the American Mathematical Society, vol. 141 (1969), pp. 1–35

    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.

    Cambridge University Press (CUP), 1972

    Erschienen in: Journal of Symbolic Logic

  18. Yasuhara, Ann

    A. V. Kuznecov. Undecidability of the general problems of completeness, decidability and equivalence for propositional calculi. English translation of XXXVII 772 by E. Mendelson. American Mathematical Society translations, ser. 2 vol. 59 (1966), pp. 56–72

    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.

    Cambridge University Press (CUP), 1972

    Erschienen in: Journal of Symbolic Logic

  19. Montanari, Angelo; Puppis, Gabriele; Sala, Pietro

    Mathematical Foundations of Computer Science 2014: Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2014

    Erschienen in: Mathematical Foundations of Computer Science 2014