Skip to contents Smolka, Gert [Editor] ; ESOP 9 2000 Berlin, ETAPS 3 2000 Berlin Programming languages and systems : proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2000 Published in: Lecture notes in computer science ; 1782 Smolka, Gert [Editor] ; CP 3 1997 Linz Principles and practice of constraint programming - CP 97 : third International Conference, CP 97, Linz, Austria, October 29 - November 1, 1997; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1330 Smolka, Gert [Author] Programmierung - eine Einführung in die Informatik mit Standard ML - [2., korrigierte Aufl.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Oldenbourg, 2011 Smolka, Gert [Author] Programmierung - eine Einführung in die Informatik mit Standard ML Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 2008 Smolka, Gert [Author] Logic programming over polymorphically order-sorted types Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1989 Forster, Yannick [Author] ; Smolka, Gert [Degree supervisor] Computability in constructive type theory Books View online Schließen > Access ... to E-book via DOI ... to E-book (freely accessible) (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarbrücken, 2021 Forster, Yannick [Author] ; Smolka, Gert [Contributor] Computability in constructive type theory Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarländische Universitäts- und Landesbibliothek, 2021 Kirst, Dominik [Author] ; Smolka, Gert [Contributor] Mechanised metamathematics : an investigation of first-order logic and set theory in constructive type theory Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarländische Universitäts- und Landesbibliothek, 2022 Kirst, Dominik [Author] ; Smolka, Gert [Degree supervisor] Mechanised metamathematics : an investigation of first-order logic and set theory in constructive type theory Books View online Schließen > Access ... to E-book via DOI (freely accessible) ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarbrücken, 2022 Schäfer, Steven [Author] ; Smolka, Gert [Degree supervisor] Engineering formal systems in constructive type theory Books View online Schließen > Access ... to E-book via DOI (Volltext ; freely accessible) ... to E-book via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarbrücken, 2019 Schäfer, Steven [Author] ; Smolka, Gert [Contributor] Engineering formal systems in constructive type theory Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarländische Universitäts- und Landesbibliothek, 2019 Kaiser, Jonas [Author] ; Smolka, Gert [Degree supervisor] Formal verification of the equivalence of system F and the pure type system L2 Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via DOI (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarbrücken, 2019 Kaiser, Jonas [Author] ; Smolka, Gert [Contributor] Formal verification of the equivalence of system F and the pure type system L2 Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarländische Universitäts- und Landesbibliothek, 2019 Stark, Kathrin [Author] ; Smolka, Gert [Contributor] Mechanising syntax with binders in Coq Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarländische Universitäts- und Landesbibliothek, 2019 Doczkal, Christian [Author] ; Smolka, Gert [Contributor] A machine-checked constructive metatheory of computation tree logic Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Scientific publications of the Saarland University (UdS), 2015 Kaminski, Mark [Author] ; Smolka, Gert [Contributor] Incremental decision procedures for modal logics with nominals and eventualities ; Inkrementelle Entscheidungsverfahren für Modallogiken mit Nominalen und Eventualities Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Scientific publications of the Saarland University (UdS), 2012 Kuhlmann, Marco [Author] ; Smolka, Gert [Contributor] Dependency structures and lexicalized grammars Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Scientific publications of the Saarland University (UdS), 2008-07-03 Möhl, Mathias [Author] ; Smolka, Gert [Contributor] Dynamic programming based RNA pseudoknot alignment Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Scientific publications of the Saarland University (UdS), 2009 Debusmann, Ralph [Author] ; Smolka, Gert [Contributor] Extensible Dependency Grammar: a modular grammar formalism based on multigraph description Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Scientific publications of the Saarland University (UdS), 2007-01-05 Rossberg, Andreas [Author] ; Smolka, Gert [Contributor] Typed open programming : a higher-order, typed approach to dynamic modularity and distribution Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Scientific publications of the Saarland University (UdS), 2007
Smolka, Gert [Editor] ; ESOP 9 2000 Berlin, ETAPS 3 2000 Berlin Programming languages and systems : proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2000 Published in: Lecture notes in computer science ; 1782
Smolka, Gert [Editor] ; CP 3 1997 Linz Principles and practice of constraint programming - CP 97 : third International Conference, CP 97, Linz, Austria, October 29 - November 1, 1997; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1330
Smolka, Gert [Author] Programmierung - eine Einführung in die Informatik mit Standard ML - [2., korrigierte Aufl.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Oldenbourg, 2011
Smolka, Gert [Author] Programmierung - eine Einführung in die Informatik mit Standard ML Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 2008
Smolka, Gert [Author] Logic programming over polymorphically order-sorted types Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1989
Forster, Yannick [Author] ; Smolka, Gert [Degree supervisor] Computability in constructive type theory Books View online Schließen > Access ... to E-book via DOI ... to E-book (freely accessible) (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarbrücken, 2021
Forster, Yannick [Author] ; Smolka, Gert [Contributor] Computability in constructive type theory Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarländische Universitäts- und Landesbibliothek, 2021
Kirst, Dominik [Author] ; Smolka, Gert [Contributor] Mechanised metamathematics : an investigation of first-order logic and set theory in constructive type theory Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarländische Universitäts- und Landesbibliothek, 2022
Kirst, Dominik [Author] ; Smolka, Gert [Degree supervisor] Mechanised metamathematics : an investigation of first-order logic and set theory in constructive type theory Books View online Schließen > Access ... to E-book via DOI (freely accessible) ... to E-book via Resolving system (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarbrücken, 2022
> Access ... to E-book via DOI (freely accessible) ... to E-book via Resolving system (freely accessible)
Schäfer, Steven [Author] ; Smolka, Gert [Degree supervisor] Engineering formal systems in constructive type theory Books View online Schließen > Access ... to E-book via DOI (Volltext ; freely accessible) ... to E-book via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarbrücken, 2019
Schäfer, Steven [Author] ; Smolka, Gert [Contributor] Engineering formal systems in constructive type theory Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarländische Universitäts- und Landesbibliothek, 2019
Kaiser, Jonas [Author] ; Smolka, Gert [Degree supervisor] Formal verification of the equivalence of system F and the pure type system L2 Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via DOI (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarbrücken, 2019
Kaiser, Jonas [Author] ; Smolka, Gert [Contributor] Formal verification of the equivalence of system F and the pure type system L2 Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarländische Universitäts- und Landesbibliothek, 2019
Stark, Kathrin [Author] ; Smolka, Gert [Contributor] Mechanising syntax with binders in Coq Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarländische Universitäts- und Landesbibliothek, 2019
Doczkal, Christian [Author] ; Smolka, Gert [Contributor] A machine-checked constructive metatheory of computation tree logic Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Scientific publications of the Saarland University (UdS), 2015
Kaminski, Mark [Author] ; Smolka, Gert [Contributor] Incremental decision procedures for modal logics with nominals and eventualities ; Inkrementelle Entscheidungsverfahren für Modallogiken mit Nominalen und Eventualities Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Scientific publications of the Saarland University (UdS), 2012
Kuhlmann, Marco [Author] ; Smolka, Gert [Contributor] Dependency structures and lexicalized grammars Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Scientific publications of the Saarland University (UdS), 2008-07-03
Möhl, Mathias [Author] ; Smolka, Gert [Contributor] Dynamic programming based RNA pseudoknot alignment Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Scientific publications of the Saarland University (UdS), 2009
Debusmann, Ralph [Author] ; Smolka, Gert [Contributor] Extensible Dependency Grammar: a modular grammar formalism based on multigraph description Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Scientific publications of the Saarland University (UdS), 2007-01-05
Rossberg, Andreas [Author] ; Smolka, Gert [Contributor] Typed open programming : a higher-order, typed approach to dynamic modularity and distribution Thesis View online Schließen > Links ... to thesis via Resolving system Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Scientific publications of the Saarland University (UdS), 2007
> Media type Skip to next facet Articles (66) Wert ausschließen Books (53) Wert ausschließen Thesis (24) Wert ausschließen Conference Proceedings (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (1) Wert ausschließen Stack Collection (5) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (5) Wert ausschließen Central Library (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (90) Wert ausschließen Restricted Access (2) Wert ausschließen Without Specification (47) Wert ausschließen Show more show less
> Language Skip to next facet English (100) Wert ausschließen Not determined (34) Wert ausschließen German (10) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (89) Wert ausschließen Technology (43) Wert ausschließen Mathmatics (20) Wert ausschließen Philosophy (3) Wert ausschließen General sciences (2) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (2) Wert ausschließen General (1) Wert ausschließen Show more show less
> Creator Skip to next facet Smolka, Gert (133) Wert ausschließen Kaminski, Mark (12) Wert ausschließen Gert Smolka (11) Wert ausschließen Doczkal, Christian (10) Wert ausschließen Forster, Yannick (8) Wert ausschließen Nebel, Bernhard (8) Wert ausschließen Nutt, Werner (7) Wert ausschließen Schulte, Christian (6) Wert ausschließen Schäfer, Steven (6) Wert ausschließen Würtz, Jörg (6) Wert ausschließen Hense, Andreas V. (5) Wert ausschließen Kirst, Dominik (5) Wert ausschließen Podelski, Andreas (5) Wert ausschließen Backofen, Rolf (4) Wert ausschließen Kaiser, Jonas (4) Wert ausschließen Aït-Kaci, Hassan (3) Wert ausschließen Baader, Franz (3) Wert ausschließen Brown, Chad E. (3) Wert ausschließen Debusmann, Ralph (3) Wert ausschließen Haridi, Seif (3) Wert ausschließen Henz, Martin (3) Wert ausschließen Mehl, Michael (3) Wert ausschließen Scheidhauer, Ralf (3) Wert ausschließen Schneider, Sigurd (3) Wert ausschließen Stark, Kathrin (3) Wert ausschließen Treinen, Ralf (3) Wert ausschließen Van Roy, Peter (3) Wert ausschließen Brand, Per (2) Wert ausschließen Bürckert, Hans-Jürgen (2) Wert ausschließen Goguen, Joseph A. (2) Wert ausschließen Kunze, Fabian (2) Wert ausschließen Niehren, Joachim (2) Wert ausschließen Réty, Pierre (2) Wert ausschließen Schmidt-Schauß, Manfred (2) Wert ausschließen Tack, Guido (2) Wert ausschließen Tebbi, Tobias (2) Wert ausschließen Ait-Kaci, Hassan (1) Wert ausschließen B�rckert, Hans-J�rgen (1) Wert ausschließen CP 3 1997 Linz (1) Wert ausschließen Comon, Hubert (1) Wert ausschließen Deutsches Forschungszentrum für Künstliche Intelligenz (1) Wert ausschließen ESOP 9 2000 Berlin (1) Wert ausschließen ETAPS 3 2000 Berlin (1) Wert ausschließen Erk, Katrin (1) Wert ausschließen Finkbeiner, Bernd (1) Wert ausschließen Ganzinger, Harald (1) Wert ausschließen Gert Smolka and Tobias Tebbi (1) Wert ausschließen Götzmann, Daniel (1) Wert ausschließen Hack, Sebastian (1) Wert ausschließen Hahn, Christopher (1) Wert ausschließen Hardt, Moritz (1) Wert ausschließen Heiter, Edith (1) Wert ausschließen Hubert Comon and Harald Ganzinger and Claude Kirchner and Hélène Kirchner and Jean-Louis Lassez and Gert Smolka (1) Wert ausschließen Jonas Kaiser and Brigitte Pientka and Gert Smolka (1) Wert ausschließen Kaiser, Jan-Oliver (1) Wert ausschließen Kirchner, Claude (1) Wert ausschließen Kirchner, Hélène (1) Wert ausschließen Kornstaedt, Leif (1) Wert ausschließen Kornstädt, Leif Tobias (1) Wert ausschließen Kuhlmann, Marco (1) Wert ausschließen Lassez, Jean-Louis (1) Wert ausschließen Meseguer, Jose (1) Wert ausschließen Meseguer, José (1) Wert ausschließen Möhl, Mathias (1) Wert ausschließen Müller, Jürgen (1) Wert ausschließen Müller, Martin Ludwig (1) Wert ausschließen Müller, Tobias (1) Wert ausschließen Pientka, Brigitte (1) Wert ausschließen Rossberg, Andreas (1) Wert ausschließen Schneider, Thomas (1) Wert ausschließen Schwinghammer, Jan (1) Wert ausschließen Sutcliffe, Geoffrey C. J. (1) Wert ausschließen Walser, Joachim Paul (1) Wert ausschließen Wuttke, Maximilian (1) Wert ausschließen Yannick Forster and Fabian Kunze and Gert Smolka and Maximilian Wuttke (1) Wert ausschließen Show more show less
> Collection Skip to next facet BASE - Bielefeld Academic Search Engine (46) Wert ausschließen Scientific publications of the Saarland University (UdS) (42) Wert ausschließen Verbunddaten SWB (29) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (23) Wert ausschließen Lizenzfreie Online-Ressourcen (20) Wert ausschließen Elsevier BV (CrossRef) (14) Wert ausschließen Springer International Publishing (CrossRef) (12) Wert ausschließen Diss online (7) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (7) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (4) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (4) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (2) Wert ausschließen Show more show less