Skip to contents Boolos, George [Author] The logic of provability - [Repr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 1994 Giesl, Jürgen [Author] ; Kühnemann, Armin [Other]; Voigtländer, Janis [Other] Deaccumulation techniques for improving provability Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Techn. Univ., Fakultät Informatik, 2005 Published in: Technische Universität Dresden: Technische Berichte ; 2005,14 Chen, Liang-Ting [Author]; Ko, Hsiang-Shang [Author] ; Liang-Ting Chen and Hsiang-Shang Ko [Contributor] Realising Intensional S4 and GL Modalities Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022 Tanaka, Hiromi [Author] ; Hiromi Tanaka [Contributor] Tower-Complete Problems in Contraction-Free Substructural Logics Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023 Maggesi, Marco [Author]; Perini Brogi, Cosimo [Author] ; Marco Maggesi and Cosimo Perini Brogi [Contributor] A Formal Proof of Modal Completeness for Provability Logic Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021 Dudenhefner, Andrej [Author]; Rehof, Jakob [Author] ; Andrej Dudenhefner and Jakob Rehof [Contributor] A Simpler Undecidability Proof for System F Inhabitation Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019 Lee, G. (Gyesik) [Author] ; Weiermann, A. (Andreas) [Contributor]; Universitäts- und Landesbibliothek Münster [Contributor] Phase transitions in axiomatic thought Thesis View online Schließen > Links https://nbn-resolving.org/urn:nbn:de:hbz:6-35679392861 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Münster University (WWU): miami, 2005-07-03 Lee, Gyesik [Author] Phase transitions in axiomatic thought Thesis View online Schließen > Links https://nbn-resolving.org/urn:nbn:de:hbz:6-35679392861 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. noah.nrw, 2005 Das, Anupam [Author]; van der Giessen, Iris [Author]; Marin, Sonia [Author] ; Anupam Das and Iris van der Giessen and Sonia Marin [Contributor] Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024 De, Abhishek [Author] ; Université Paris Cité [Contributor]; Saurin, Alexis [Contributor] Linear logic with the least and greatest fixed points : truth semantics, complexity and a parallel syntax ; La logique linéaire avec les plus petits et les plus grands points fixes : la sémantique de vérité, la complexité, et une syntaxe parallèle Thesis View online Schließen > Links http://www.theses.fr/2022UNIP7128/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2022-12-01 Bülow, Christopher von [Author] Beweisbarkeitslogik für Rosser-Sätze ; Provability Logic for Rosser-Sentences Thesis View online Schließen > Access More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KOPS - The Institutional Repository of the University of Konstanz, 1998 Santos, Paulo Guilherme [Author] ; Eberhard Karls Universität Tübingen On Notions of Provability Books View online Schließen > Access More information on the full text Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Tübingen, 2023 Lipman, Barton L. [Author]; Seppi, Duane J. [Author] Partial Provability in Communication Games Books View online Schließen > Links http://hdl.handle.net/10419/189176 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kingston (Ontario): Queen's University, Department of Economics, 1992 Horsten, Leon [Author] Provability in principle and controversial constructivistic principles Books View online Schließen > Access More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Konstanz: KOPS Universität Konstanz, 1997 Nordholz, Jan [Author] ; Seifert, Jean-Pierre [Degree supervisor]; Jähnichen, Stefan [Other]; Massacci, Fabio [Other] Design and provability of a statically configurable hypervisor Books View online Schließen > Access https://d-nb.info/1156178770/34 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Technische Universität Berlin, 2017 Benassi, Corrado [Author]; Gentilini, Paolo [Author] Common Knowledge and Common Rationality Through Provability Logic Books View online Schließen > Links http://hdl.handle.net/10419/159191 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bologna: Alma Mater Studiorum - Università di Bologna, Dipartimento di Scienze Economiche (DSE), 1999 Wolter, Frank [Author] All finitely axiomatizable subframe logics containing the provability logic CSM are decidable Books View online Schließen > Access More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1998 Published in: Archive for Mathematical Logic ; 37 (1998), 3, Seite 167-182 Korotkov, Alexander [Author] Credereum - blockchain-enabled Postgres: Bringing the provability and immutability of blockchain to performance and efficiency of traditional DBMS Videos View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Erscheinungsort nicht ermittelbar]: PGCon - PostgreSQL Conference for Users and Developers, 2018 Published in: PGCon 2018 ; (Jan. 2018) - Halbach, Volker [Other]; Horsten, Leon [Other] Principles of Truth : [conference "Truth, Necessity and Provability", which was held in Leuven, Belgium, from 18 to 20 November 1999] - [2. Aufl., 2nd ed.] Books View online Schließen > Access https://www.degruyter.com/isbn/9783110332667 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: De Gruyter, 2004 ; 2004 Published in: Epistemische Studien ; 1 Hoenen, Maarten J. F. M. [Author] The literary reception of Thomas Aquinas' view on the provability of the eternity of the world in de la Mare’s "Correctorium" (1278 - 9) and the "Correctoria Corruptorii" (1279 - ca 86) Books View online Schließen > Access More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1990
Boolos, George [Author] The logic of provability - [Repr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 1994
Giesl, Jürgen [Author] ; Kühnemann, Armin [Other]; Voigtländer, Janis [Other] Deaccumulation techniques for improving provability Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Techn. Univ., Fakultät Informatik, 2005 Published in: Technische Universität Dresden: Technische Berichte ; 2005,14
Chen, Liang-Ting [Author]; Ko, Hsiang-Shang [Author] ; Liang-Ting Chen and Hsiang-Shang Ko [Contributor] Realising Intensional S4 and GL Modalities Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Tanaka, Hiromi [Author] ; Hiromi Tanaka [Contributor] Tower-Complete Problems in Contraction-Free Substructural Logics Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Maggesi, Marco [Author]; Perini Brogi, Cosimo [Author] ; Marco Maggesi and Cosimo Perini Brogi [Contributor] A Formal Proof of Modal Completeness for Provability Logic Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Dudenhefner, Andrej [Author]; Rehof, Jakob [Author] ; Andrej Dudenhefner and Jakob Rehof [Contributor] A Simpler Undecidability Proof for System F Inhabitation Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Lee, G. (Gyesik) [Author] ; Weiermann, A. (Andreas) [Contributor]; Universitäts- und Landesbibliothek Münster [Contributor] Phase transitions in axiomatic thought Thesis View online Schließen > Links https://nbn-resolving.org/urn:nbn:de:hbz:6-35679392861 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Münster University (WWU): miami, 2005-07-03
Lee, Gyesik [Author] Phase transitions in axiomatic thought Thesis View online Schließen > Links https://nbn-resolving.org/urn:nbn:de:hbz:6-35679392861 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. noah.nrw, 2005
Das, Anupam [Author]; van der Giessen, Iris [Author]; Marin, Sonia [Author] ; Anupam Das and Iris van der Giessen and Sonia Marin [Contributor] Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
De, Abhishek [Author] ; Université Paris Cité [Contributor]; Saurin, Alexis [Contributor] Linear logic with the least and greatest fixed points : truth semantics, complexity and a parallel syntax ; La logique linéaire avec les plus petits et les plus grands points fixes : la sémantique de vérité, la complexité, et une syntaxe parallèle Thesis View online Schließen > Links http://www.theses.fr/2022UNIP7128/document Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2022-12-01
Bülow, Christopher von [Author] Beweisbarkeitslogik für Rosser-Sätze ; Provability Logic for Rosser-Sentences Thesis View online Schließen > Access More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KOPS - The Institutional Repository of the University of Konstanz, 1998
Santos, Paulo Guilherme [Author] ; Eberhard Karls Universität Tübingen On Notions of Provability Books View online Schließen > Access More information on the full text Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Tübingen, 2023
Lipman, Barton L. [Author]; Seppi, Duane J. [Author] Partial Provability in Communication Games Books View online Schließen > Links http://hdl.handle.net/10419/189176 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kingston (Ontario): Queen's University, Department of Economics, 1992
Horsten, Leon [Author] Provability in principle and controversial constructivistic principles Books View online Schließen > Access More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Konstanz: KOPS Universität Konstanz, 1997
Nordholz, Jan [Author] ; Seifert, Jean-Pierre [Degree supervisor]; Jähnichen, Stefan [Other]; Massacci, Fabio [Other] Design and provability of a statically configurable hypervisor Books View online Schließen > Access https://d-nb.info/1156178770/34 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Technische Universität Berlin, 2017
Benassi, Corrado [Author]; Gentilini, Paolo [Author] Common Knowledge and Common Rationality Through Provability Logic Books View online Schließen > Links http://hdl.handle.net/10419/159191 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bologna: Alma Mater Studiorum - Università di Bologna, Dipartimento di Scienze Economiche (DSE), 1999
Wolter, Frank [Author] All finitely axiomatizable subframe logics containing the provability logic CSM are decidable Books View online Schließen > Access More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1998 Published in: Archive for Mathematical Logic ; 37 (1998), 3, Seite 167-182
Korotkov, Alexander [Author] Credereum - blockchain-enabled Postgres: Bringing the provability and immutability of blockchain to performance and efficiency of traditional DBMS Videos View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Erscheinungsort nicht ermittelbar]: PGCon - PostgreSQL Conference for Users and Developers, 2018 Published in: PGCon 2018 ; (Jan. 2018) -
Halbach, Volker [Other]; Horsten, Leon [Other] Principles of Truth : [conference "Truth, Necessity and Provability", which was held in Leuven, Belgium, from 18 to 20 November 1999] - [2. Aufl., 2nd ed.] Books View online Schließen > Access https://www.degruyter.com/isbn/9783110332667 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: De Gruyter, 2004 ; 2004 Published in: Epistemische Studien ; 1
Hoenen, Maarten J. F. M. [Author] The literary reception of Thomas Aquinas' view on the provability of the eternity of the world in de la Mare’s "Correctorium" (1278 - 9) and the "Correctoria Corruptorii" (1279 - ca 86) Books View online Schließen > Access More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1990
> Media type Skip to next facet Articles (353) Wert ausschließen Books (10) Wert ausschließen Thesis (4) Wert ausschließen Conference Proceedings (1) Wert ausschließen Videos (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (1) Wert ausschließen Stack Collection (1) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (2) Wert ausschließen Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright (2) Wert ausschließen Attribution - Non Commercial (CC BY-NC) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (110) Wert ausschließen Restricted Access (1) Wert ausschließen Without Specification (256) Wert ausschließen Show more show less
> Language Skip to next facet English (267) Wert ausschließen Not determined (99) Wert ausschließen German (2) Wert ausschließen Russian (1) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (141) Wert ausschließen Philosophy (105) Wert ausschließen Computer science (37) Wert ausschließen Jurisprudence (26) Wert ausschließen History (17) Wert ausschließen Technology (10) Wert ausschließen Art and art history (9) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (4) Wert ausschließen Psychology (4) Wert ausschließen Medicine (3) Wert ausschließen Economics (3) Wert ausschließen Sociology (2) Wert ausschließen General (1) Wert ausschließen Biology (1) Wert ausschließen Chemistry and pharmacology (1) Wert ausschließen Geography (1) Wert ausschließen Pedagogy (1) Wert ausschließen Show more show less
> Creator Skip to next facet Boolos, George (19) Wert ausschließen Montagna, Franco (11) Wert ausschließen Visser, Albert (10) Wert ausschließen Beklemishev, Lev D. (7) Wert ausschließen Joosten, Joost J. (7) Wert ausschließen Artemov, Sergei N. (6) Wert ausschließen Dzhaparidze, Giorgie (6) Wert ausschließen Fernández-Duque, David (6) Wert ausschließen Krajíček, Jan (6) Wert ausschließen Beklemishev, L. D. (5) Wert ausschließen Beklemishev, Lev (5) Wert ausschließen Kurahashi, Taishi (5) Wert ausschließen McGee, Vann (5) Wert ausschließen Pawlowski, Pawel (4) Wert ausschließen Arai, Toshiyasu (3) Wert ausschließen Artemov, Sergei (3) Wert ausschließen Avigad, Jeremy D. (3) Wert ausschließen Beklemishev, L D (3) Wert ausschließen Calude, Cristian S. (3) Wert ausschließen Giesl, Jürgen (3) Wert ausschließen Goré, Rajeev (3) Wert ausschließen Hirsch, Robin (3) Wert ausschließen Hodkinson, Ian (3) Wert ausschließen Horsten, Leon (3) Wert ausschließen Ignatiev, Konstantin N. (3) Wert ausschließen KURAHASHI, TAISHI (3) Wert ausschließen Kühnemann, Armin (3) Wert ausschließen Lipman, Barton L. (3) Wert ausschließen Maddux, Roger D. (3) Wert ausschließen Monk, J. Donald (3) Wert ausschließen Paris, J. B. (3) Wert ausschließen Sambin, Giovanni (3) Wert ausschließen Tait, W. W. (3) Wert ausschließen Urbaniak, Rafal (3) Wert ausschließen Voigtländer, Janis (3) Wert ausschließen Wilkie, A. J. (3) Wert ausschließen Woods, A. R. (3) Wert ausschließen Ardeshir, Mohammad (2) Wert ausschließen Artëmov, Sergei (2) Wert ausschließen Berarducci, Alessandro (2) Wert ausschließen Cai, Mingzhong (2) Wert ausschließen Carbone, Alessandra (2) Wert ausschließen Carl, M. (2) Wert ausschließen Chagrov, A. V. (2) Wert ausschließen Church, Alonzo (2) Wert ausschließen Cook, Stephen (2) Wert ausschließen Enderton, H. B. (2) Wert ausschließen FERNÁNDEZ-DUQUE, DAVID (2) Wert ausschließen Fischer, F. H. (2) Wert ausschließen Flaminio, Tommaso (2) Wert ausschließen Fujiwara, Makoto (2) Wert ausschließen Gabbay, Dov M. (2) Wert ausschließen Gentilini, Paolo (2) Wert ausschließen Gopalakrishnan, Aswin (2) Wert ausschließen Guaspari, David (2) Wert ausschließen Hall, Roland (2) Wert ausschließen JOOSTEN, JOOST J. (2) Wert ausschließen Kolmakov, E. A. (2) Wert ausschließen Leivant, Daniel (2) Wert ausschließen Lucas, John (2) Wert ausschließen Maggesi, Marco (2) Wert ausschließen Maksimova, L. L. (2) Wert ausschließen Maliaukiené, L. (2) Wert ausschließen Mohan, Ashok Kumar (2) Wert ausschließen Pavlova, Alexandra (2) Wert ausschließen Perini Brogi, Cosimo (2) Wert ausschließen Pohlers, W. (2) Wert ausschließen Raatikainen, Panu (2) Wert ausschließen Redhead, Michael (2) Wert ausschließen Regan, Kenneth W. (2) Wert ausschließen Rybakov, V. V. (2) Wert ausschließen Santos, Paulo Guilherme (2) Wert ausschließen Scowcroft, Philip (2) Wert ausschließen Seppi, Duane J. (2) Wert ausschließen Sethumadhavan, M. (2) Wert ausschließen Shamkanov, Daniyar (2) Wert ausschließen Sidon, Tatiana (2) Wert ausschließen Valentini, Silvio (2) Wert ausschließen Vineti, Emanuele (2) Wert ausschließen Williamson, Timothy (2) Wert ausschließen Wolter, Frank (2) Wert ausschließen �gr�, Paul (2) Wert ausschließen A., A. R. (1) Wert ausschließen A., R. W. (1) Wert ausschließen AGUILERA, JUAN P. (1) Wert ausschließen ARDESHIR, MOHAMMAD (1) Wert ausschließen Adamowicz, Zofia (1) Wert ausschließen Aguilera, Juan P. (1) Wert ausschließen Andrej Dudenhefner and Jakob Rehof (1) Wert ausschließen Andrews, Peter B. (1) Wert ausschließen Andrews, Uri (1) Wert ausschließen Antoniou, G. (1) Wert ausschließen Antoniou, Grigoris (1) Wert ausschließen Anupam Das and Iris van der Giessen and Sonia Marin (1) Wert ausschließen Artemov, S N (1) Wert ausschließen Artemov, S. N. (1) Wert ausschließen Ashworth, E. J. (1) Wert ausschließen Avron, Arnon (1) Wert ausschließen B., C. A. (1) Wert ausschließen BEKLEMISHEV, L (1) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Science and Business Media LLC (CrossRef) (59) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (53) Wert ausschließen JSTOR Mathematics & Statistics (47) Wert ausschließen JSTOR Arts & Sciences I Archive (39) Wert ausschließen Elsevier BV (CrossRef) (32) Wert ausschließen JSTOR (CrossRef) (31) Wert ausschließen Oxford University Press (OUP) (CrossRef) (22) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (19) Wert ausschließen Duke University Press (CrossRef) (12) Wert ausschließen BASE - Bielefeld Academic Search Engine (11) Wert ausschließen JSTOR Arts & Sciences VII Archive (11) Wert ausschließen Verbunddaten SWB (8) Wert ausschließen Wiley (CrossRef) (8) Wert ausschließen IOP Publishing (CrossRef) (6) Wert ausschließen Informa UK Limited (CrossRef) (6) Wert ausschließen JSTOR Arts & Sciences II Archive (6) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (6) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (5) Wert ausschließen Lizenzfreie Online-Ressourcen (5) Wert ausschließen Springer International Publishing (CrossRef) (5) Wert ausschließen Steklov Mathematical Institute (CrossRef) (5) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (4) Wert ausschließen Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University (CrossRef) (3) Wert ausschließen American Mathematical Society (AMS) (CrossRef) (2) Wert ausschließen EconStor (German National Library of Economics, ZBW) (2) Wert ausschließen Elsevier (CrossRef) (2) Wert ausschließen Institute of Mathematics, Polish Academy of Sciences (CrossRef) (2) Wert ausschließen Open Publishing Association (CrossRef) (2) Wert ausschließen River Publishers (CrossRef) (2) Wert ausschließen University of Chicago Press (CrossRef) (2) Wert ausschließen AIP Publishing LLC (CrossRef) (1) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (1) Wert ausschließen Diss online (1) Wert ausschließen KOPS - The Institutional Repository of the University of Konstanz (1) Wert ausschließen Mathematical Society of Japan (Project Euclid) (CrossRef) (1) Wert ausschließen Münster University (WWU): miami (1) Wert ausschließen Philosophy Documentation Center (CrossRef) (1) Wert ausschließen Qucosa (1) Wert ausschließen Sciencedomain International (CrossRef) (1) Wert ausschließen Society for Industrial & Applied Mathematics (SIAM) (CrossRef) (1) Wert ausschließen The Belgian Mathematical Society (CrossRef) (1) Wert ausschließen Tomsk State University (CrossRef) (1) Wert ausschließen Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego (CrossRef) (1) Wert ausschließen Vilnius University Press (CrossRef) (1) Wert ausschließen noah.nrw (1) Wert ausschließen theses.fr (1) Wert ausschließen Show more show less