Gert Smolka
Affiliations:- Saarland University, Saarbrücken, Germany
According to our database1,
Gert Smolka
authored at least 115 papers
between 1980 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
-
on d-nb.info
-
on ps.uni-sb.de
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory (Proof Pearl).
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023
2021
A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value λ-Calculus.
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021
2020
2019
Categoricity Results and Large Model Constructions for Second-Order ZF in Dependent Type Theory.
J. Autom. Reason., 2019
J. Autom. Reason., 2019
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019
2018
J. Autom. Reason., 2018
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018
Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018
2017
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017
Proceedings of the Relational and Algebraic Methods in Computer Science, 2017
2016
J. Autom. Reason., 2016
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016
2015
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015
Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015
2014
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014
2013
Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013
Proceedings of the Certified Programs and Proofs - Third International Conference, 2013
2012
Correctness of an Incremental and Worst-Case Optimal Decision Procedure for Modal Logic with Eventualities
CoRR, 2012
Proceedings of the Certified Programs and Proofs - Second International Conference, 2012
2011
Proceedings of the 7th Workshop on Methods for Modalities, 2011
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
Log. Methods Comput. Sci., 2011
Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Proceedings of the Certified Programs and Proofs - First International Conference, 2011
2010
Log. Methods Comput. Sci., 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Terminating Tableaux for <i>SOQ</i>\mathcal{SOQ} with Number Restrictions on Transitive Roles.
Proceedings of the Theoretical Computer Science, 2010
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010
2009
J. Log. Lang. Inf., 2009
Proceedings of the 6th Workshop on Methods for Modalities, 2009
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
2008
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008
Oldenbourg, ISBN: 978-3-486-58601-5, 2008
2007
Proceedings of the 5th Workshop on Methods for Modalities, 2007
2006
Proceedings of the International Workshop on Hybrid Logic, 2006
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006
Proceedings of the Principles and Practice of Constraint Programming, 2006
2005
Proceedings of the ACM-SIGPLAN Workshop on ML, 2005
2004
Alice through the looking glass.
Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004
Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004
Proceedings of the COLING 2004, 2004
2000
Guest Editor's Foreword.
Nord. J. Comput., 2000
1999
ACM Trans. Program. Lang. Syst., 1999
1998
Concurrent Constraint Programming Based on Functional Programming (Extended Abstract).
Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998
1997
Constraint Programming in Oz (Abstract).
Proceedings of the Logic Programming, 1997
Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997
1996
Oz: nebenläufige Programmierung mit Constraints.
Künstliche Intell., 1996
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996
Proceedings of the Concurrency and Parallelism, 1996
1995
Objects in a higher-order concurrent constraint model with state.
Proceedings of the Actes des journées Langages et Modèles à Objets, 1995
Oz: Concurrent Constraint Programming for Real.
Proceedings of the Logic Programming, 1995
Operational Semantics of Constraint Logic Programs with Coroutining.
Proceedings of the Logic Programming, 1995
Proceedings of the Euro-Par '95 Parallel Processing, 1995
Proceedings of the Computer Science Today: Recent Trends and Developments, 1995
1994
Theor. Comput. Sci., 1994
Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994
Encapsulated Search for Higher-order Concurrent Constraint Programming.
Proceedings of the Logic Programming, 1994
Proceedings of the Principles and Practice of Constraint Programming, 1994
Proceedings of the Constraints in Computational Logics, First International Conference, 1994
Proceedings of the Constraints in Computational Logics, First International Conference, 1994
Proceedings of the Constraints in Computational Logics, First International Conference, 1994
1993
On the expressivity of feature logics with negation, functional uncertainty, and sort equations.
J. Log. Lang. Inf., 1993
Nebenläfige Objekte und Logische Programmierung.
Proceedings of the 9. Workshop Logische Programmierung, 1993
Object-Oriented Concurrent Constraint Programming in Oz.
Proceedings of the Grundlagen und Anwendungen der Künstlichen Intelligenz, 1993
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993
A Survey of Oz - A Higher-order Concurrent Constraint Language.
Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993
1992
A Verification of Extensible Record Types.
Proceedings of the Automated Reasoning, 1992
A Feature-Based Constraint System for Logic Programming with Entailment.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992
Proceedings of the Informatik, Festschrift zum 60. Geburtstag von Günter Hotz, 1992
1991
Proceedings of the Text Understanding in LILOG, 1991
Residuation and Guarded Rules for Constraint Logic Programming.
Proceedings of the Constraint Logic Programming, 1991
1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
1989
Feature Constraint Logics for Unification Grammars
IWBS Report, 1989
Representation and Reasoning with Attributive Descriptions
IWBS Report, 1989
Attributive Concept Descriptions with Unions and Complements
IWBS Report, 1989
Proceedings of the GWAI-89, 1989
1988
Definite Resolution over Constraint Languages
LILOG-Report, 1988
A Feature Logic with Subsorts
LILOG-Report, 1988
Proceedings of the Algebraic and Logic Programming, 1988
Type Logic.
Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988
1986
Polymorphic Order-Sorted Algebra.
Proceedings of the 4st Workshop on Abstract Data Type, 1986
FRESH: A Higher-Order Language With Unification and Multiple Results.
Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986
1984
Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984
1982
Proceedings of the GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27, 1982
1981
Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure.
Proceedings of the GWAI-81, 1981
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981
1980
Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980