Constructive and Synthetic Reducibility Degrees: Post’s Problem for Many-one and Truth-table Reducibility in Coq
(pdf)
Yannick Forster, Felix Jahn
Computer Science Logic (CSL'23), Warsaw, Poland
Gödel's Theorem Without Tears: Essential Incompleteness in Synthetic Computability
(pdf)
Dominik Kirst, Benjamin Peters
Computer Science Logic (CSL'23), Warsaw, Poland
A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory
(pdf)
Yannick Forster, Felix Jahn, Gert Smolka
CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs
An Analysis of Tennenbaum's Theorem in Constructive Type Theory
(pdf)
Marc Hermes, Dominik Kirst
7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), Haifa, Israel
Computational Back-and-Forth Arguments in Constructive Type Theory
(pdf)
Dominik Kirst
13th International Conference on Interactive Theorem Proving (ITP 2022), Haifa, Israel
Undecidability of Dyadic First-Order Logic in Coq
(pdf)
Johannes Hostert, Andrej Dudenhefner, Dominik Kirst
13th International Conference on Interactive Theorem Proving (ITP 2022), Haifa, Israel
Undecidability, Incompleteness, and Completeness of Second-Order Logic in Coq
(pdf)
Mark Koch, Dominik Kirst
Certified Programs and Proofs (CPP), January 17-18, 2022, Philadelphia, Pennsylvania, U.S.A.
Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic
(pdf)
Christian Hagemeier, Dominik Kirst
Logical Foundations of Computer Science (LFCS), January 10-13, 2022, Deerfield Beach, Florida, U.S.A.
Constructive Many-one Reduction from the Halting Problem to Semi-unification
(pdf)
Andrej Dudenhefner
30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory: Extended Version
(pdf)
Yannick Forster, Dominik Kirst, Dominik Wehr
Journal of Logic and Computation
Computability in Constructive Type Theory
Yannick Forster
PhD Thesis, Saarland University
Kripke Semantics for Intersection Formulas
(pdf)
Andrej Dudenhefner, Paweł Urzyczyn
Transactions on Computational Logic
A Mechanised Proof of the Time Invariance Thesis for the Weak Call-by-value λ-Calculus
(pdf)
Yannick Forster, Fabian Kunze, Gert Smolka, Maximilian Wuttke
12th International Conference on Interactive Theorem Proving (ITP 2021)
Mechanising Complexity Theory: The Cook-Levin Theorem in Coq
(pdf)
Lennard Gäher, Fabian Kunze
12th International Conference on Interactive Theorem Proving (ITP 2021)
Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq
(pdf)
Dominik Kirst, Marc Hermes
12th International Conference on Interactive Theorem Proving (ITP 2021)
The Undecidability of System F Typability and Type Checking for Reductionists
(pdf)
Andrej Dudenhefner
LICS 2021, (36th Annual ACM/IEEE Symposium on Logic in Computer Science)
The Generalised Continuum Hypothesis Implies the Axiom of Choice in Coq
(pdf)
Dominik Kirst, Felix Rech
10th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2021, Copenhagen, Denmark
Church’s Thesis and Related Axioms in Coq’s Type Theory
(pdf)
Yannick Forster
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
A History of the Oz Multiparadigm Language
(pdf)
Peter Van Roy, Seif Haridi, Christian Schulte, Gert Smolka
Proceedings of the ACM on Programming Languages
Undecidability of Semi-Unification on a Napkin
(pdf)
Andrej Dudenhefner
5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Paris, France
Mechanising Syntax with Binders in Coq
(pdf)
Kathrin Stark
PhD Thesis, Saarland University
Trakhtenbrot's Theorem in Coq: A Constructive Approach to Finite Model Theory
(pdf)
Dominik Kirst, Dominique Larchey-Wendling
International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France
Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq
(pdf)
Matthieu Sozeau, Simon Boulier, Yannick Forster, Nicolas Tabareau, Théo Winterhalter
47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020), New Orleans, USA
Verified Programming of Turing Machines in Coq
(pdf)
Yannick Forster, Fabian Kunze, Maximilian Wuttke
9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20–21, 2020
Coq à la Carte - A Practical Approach to Modular Syntax with Binders
(pdf)
Yannick Forster, Kathrin Stark
9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, USA
Undecidability of Higher-Order Unification Formalised in Coq
(pdf)
Simon Spies, Yannick Forster
9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, USA
Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory
(pdf)
Yannick Forster, Dominik Kirst, Dominik Wehr
Symposium on Logical Foundations Of Computer Science (LFCS 2020), January 4-7, 2020, Deerfield Beach, Florida, U.S.A.
The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space
(pdf)
Yannick Forster, Fabian Kunze, Marc Roth
47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020), New Orleans, USA
Formal Verification of the Equivalence of System F and the Pure Type System L2
(pdf)
Jonas Kaiser
PhD Thesis
Engineering Formal Systems in Constructive Type Theory
(pdf)
Steven Schäfer
PhD Thesis, Saarland University
A certifying extraction with time bounds from Coq to call-by-value λ-calculus
(pdf)
Yannick Forster, Fabian Kunze
Interactive Theorem Proving - 10th International Conference, ITP 2019, Portland, USA
Hilbert's Tenth Problem in Coq
(pdf)
Dominique Larchey-Wendling, Yannick Forster
4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, Dortmund, Germany
Autosubst 2: Reasoning with Multi-Sorted de Bruijn Terms and Vector Substitutions
(pdf)
Kathrin Stark, Steven Schäfer, Jonas Kaiser
8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019
Call-By-Push-Value in Coq: Operational, Equational and Denotational Theory
(pdf)
Yannick Forster, Steven Schäfer, Simon Spies, Kathrin Stark
8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019
On Synthetic Undecidability in Coq, with an Application to the Entscheidungsproblem
(pdf)
Yannick Forster, Dominik Kirst, Gert Smolka
8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019
Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines
(pdf)
Yannick Forster, Dominique Larchey-Wendling
8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019
A Verified Compiler for a Linear Function/Imperative Intermediate Language
(pdf)
Sigurd Schneider
PhD Thesis, Saarland University
Call-by-Value Lambda Calculus as a Model of Computation in Coq
(pdf)
Yannick Forster, Gert Smolka
Journal of Automated Reasoning
Categoricity Results and Large Model Constructions for Second-Order ZF in Dependent Type Theory
(pdf)
Dominik Kirst, Gert Smolka
Journal of Automated Reasoning
Formal Small-step Verification of a Call-by-value Lambda Calculus Machine
(pdf)
Fabian Kunze, Gert Smolka, Yannick Forster
16th Asian Symposium on Programming Languages and Systems, APLAS 2018, Wellington, New Zealand, December 2-6
Embedding Higher-Order Abstract Syntax in Type Theory
(pdf)
Steven Schäfer, Kathrin Stark
24th International Conference on Types for Proofs and Programs, TYPES 2018, Braga, Portugal, June 18 - 21
Constructive Analysis of S1S and Büchi Automata
(pdf)
Moritz Lichter, Gert Smolka
arXiv:1804.04967
Completeness and decidability of converse PDL in the constructive type theory of Coq
(pdf)
Christian Doczkal, Joachim Bard
7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, USA, January 8-9, 2018
Binder Aware Recursion over Well-Scoped de Bruijn Syntax
(pdf)
Jonas Kaiser, Steven Schäfer, Kathrin Stark
Certified Programs and Proofs - 7th International Conference, CPP 2018, Los Angeles, USA, January 8-9, 2018
Large Model Constructions for Second-Order ZF in Dependent Type Theory
(pdf)
Dominik Kirst, Gert Smolka
Certified Programs and Proofs - 7th International Conference, CPP 2018, Los Angeles, USA, January 8-9, 2018
Verification of PCP-Related Computational Reductions in Coq
(pdf)
Yannick Forster, Edith Heiter, Gert Smolka
Interactive Theorem Proving - 9th International Conference, ITP 2018, Oxford, UK, July 9-12, 2018
Regular Language Representations in the Constructive Type Theory of Coq
(pdf)
Christian Doczkal, Gert Smolka
Journal of Automated Reasoning
Autosubst 2: Towards Reasoning with Multi-Sorted de Bruijn Terms and Vector Substitutions
(pdf)
Jonas Kaiser, Steven Schäfer, Kathrin Stark
LFMTP
Verified Spilling and Translation Validation with Repair
(pdf)
Julian Rosemann, Sigurd Schneider, Sebastian Hack
ITP
Relating System F and λ2: A Case Study in Coq, Abella and Beluga
(pdf)
Jonas Kaiser, Brigitte Pientka, Gert Smolka
Proceedings of FSCD 2017
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control
(pdf)
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
International Conference on Functional Programming, ICFP 2017, Oxford, United Kingdom, September 3-9, 2017
Tower Induction and Up-To Techniques for CCS with Fixed Points
(pdf)
Steven Schäfer, Gert Smolka
Relational and Algebraic Methods in Computer Science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq
(pdf)
Yannick Forster, Gert Smolka
Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017
Categoricity Results for Second-Order ZF in Dependent Type Theory
(pdf)
Dominik Kirst, Gert Smolka
Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017
Equivalence of System F and λ2 in Abella
(pdf)
Jonas Kaiser, Gert Smolka
Workshop Presentation at TTT 2017, Paris
Equivalence of System F and λ2 in Coq Based on Context Morphism Lemmas
(pdf)
Jonas Kaiser, Tobias Tebbi, Gert Smolka
Proceedings of CPP 2017
An Inductive Proof Method for Simulation-based Compiler Correctness
Sigurd Schneider, Gert Smolka, Sebastian Hack
Technical Report
Hereditarily Finite Sets in Constructive Type Theory
(pdf)
Gert Smolka, Kathrin Stark
Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-27, 2016
Two-Way Automata in Coq
(pdf)
Christian Doczkal, Gert Smolka
Interactive Theorem Proving (ITP 2016)
A Machine-Checked Constructive Metatheory of Computation Tree Logic
(pdf)
Christian Doczkal
PhD Thesis, Saarland University
Axiomatic Semantics for Compiler Verification
(pdf)
Steven Schäfer, Sigurd Schneider, Gert Smolka
5th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2016, St. Petersburg, FL, USA, January 20-22
Completeness and Decidability Results for CTL in Constructive Type Theory
(pdf)
Christian Doczkal, Gert Smolka
Journal of Automated Reasoning
Transfinite Constructions in Classical Type Theory
(pdf)
Gert Smolka, Steven Schäfer, Christian Doczkal
Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015
Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions
(pdf)
Steven Schäfer, Tobias Tebbi, Gert Smolka
Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015
A Linear First-Order Functional Intermediate Language for Verified Compilers
(pdf)
Sigurd Schneider, Gert Smolka, Sebastian Hack
Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015
Completeness and Decidability of de Bruijn Substitution Algebra in Coq
(pdf)
Steven Schäfer, Gert Smolka, Tobias Tebbi
Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015
Glivenko and Kuroda for Simple Type Theory
Chad E. Brown, Christine Rizkallah
The Journal of Symbolic Logic
Completeness and Decidability Results for CTL in Coq
(pdf)
Christian Doczkal, Gert Smolka
Interactive Theorem Proving (ITP 2014)
A Goal-Directed Decision Procedure for Hybrid PDL
(pdf)
Mark Kaminski, Gert Smolka
Journal of Automated Reasoning
Reconsidering Pairs and Functions as Sets
(pdf)
Chad E. Brown
Technical Report, Technical Report of Article Submitted to Journal of Automated Reasoning
From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction
(pdf)
Chad E. Brown, Christine Rizkallah
Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification
(pdf)
Tobias Tebbi
Master's Thesis, Saarland University
Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification
(pdf)
Gert Smolka, Tobias Tebbi
24rd International Conference on Rewriting Techniques and Applications (RTA'13)
A Constructive Theory of Regular Languages in Coq
(pdf)
Christian Doczkal, Jan-Oliver Kaiser, Gert Smolka
Certified Programs and Proofs, Third International Conference (CPP 2013)
Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems
(pdf)
Chad E. Brown
Journal of Automated Reasoning
InKreSAT: Modal Reasoning via Incremental Reduction to SAT
(pdf)
Mark Kaminski, Tobias Tebbi
CADE-24
Formal Costruction of a Set Theory in Coq
(pdf)
Jonas Kaiser
Master's Thesis, Programming Systems Lab, Saarland University
Constructive Completeness for Modal Logic with Transitive Closure
(pdf)
Christian Doczkal, Gert Smolka
Certified Programs and Proofs, Second International Conference (CPP 2012)
Satallax: An Automated Higher-Order Prover
(pdf)
Chad E. Brown
6th International Joint Conference on Automated Reasoning (IJCAR 2012)
Step-indexed Relational Reasoning for Countable Nondeterminism
(pdf)
Jan Schwinghammer, Lars Birkedal
Submitted
Incremental Decision Procedures for Modal Logics with Nominals and Eventualities
(pdf)
Mark Kaminski
PhD Thesis, Saarland University
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
(pdf)
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
Logical Methods in Computer Science
A Step-indexed Kripke Model of Hidden State
(pdf)
Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang
Mathematical Structures in Computer Science
Correctness of Tableau-Based Decision Procedures with Backjumping
(pdf)
Tobias Tebbi
B.Sc. Thesis, Programming Systems Lab, Department of Informatics, Saarland University
Glivenko and Kuroda for Simple Type Theory
(pdf)
Chad E. Brown, Christine Rizkallah
Technical Report, Submitted
Clausal Tableaux for Hybrid PDL
(pdf)
Mark Kaminski, Gert Smolka
M4M-7
Constructive Formalization of Hybrid Logic with Eventualities
(pdf)
Christian Doczkal, Gert Smolka
Certified Programs and Proofs, First International Conference (CPP 2011)
Step-indexed Relational Reasoning for Countable Nondeterminism
(pdf)
Jan Schwinghammer, Lars Birkedal
Computer Science Logic (CSL'11)
Nested Hoare Triples and Frame Rules for Higher-order Store
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
Logical Methods in Computer Science
Faithful Reproductions of the Automath Landau Formalization
(pdf)
Chad E. Brown
Technical Report
Correctness of an Incremental and Worst-Case Optimal Decision Procedure for Modal Logic with Eventualities
(pdf)
Mark Kaminski, Gert Smolka
Technical Report
Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems
(pdf)
Chad E. Brown
CADE – the 23rd International Conference on Automated Deduction
Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics
(pdf)
Mark Kaminski, Thomas Schneider, Gert Smolka
TABLEAUX 2011
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
(pdf)
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
Logic in Computer Science (LICS'11)
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
Mark Kaminski, Sigurd Schneider, Gert Smolka
Logical Methods in Computer Science
Analytic Tableaux for Higher-Order Logic with Choice
(pdf)
Julian Backes, Chad E. Brown
Journal of Automated Reasoning
A Step-indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces
(pdf)
Jan Schwinghammer, Lars Birkedal, Kristian Støvring
Foundations of Software Science and Computation Structures (FOSSACS'11)
Step-indexed Kripke Models over Recursive Worlds
(pdf)
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang
Principles of Programming Languages (POPL'11)
Reconsidering Lucid - a modern approach
(pdf)
Jonas Kaiser
B.A. Dissertation, Churchill College, University of Cambridge, Bachelors Thesis
Correctness of Program Translations for Observational Semantics
(pdf)
Manfred Schmidt-Schauß, David Sabel, Joachim Niehren, Jan Schwinghammer
Draft
Analytic Tableaux for Higher-Order Logic with Choice
(pdf)
Julian Backes, Chad E. Brown
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference
(pdf)
Mark Kaminski, Gert Smolka
LPAR-17
A Step-indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces
(pdf)
Lars Birkedal, Jan Schwinghammer, Kristian Støvring
Fixed Points in Computer Science (FICS'10)
A Metric Model of Lambda Calculus with Guarded Recursion
(pdf)
Lars Birkedal, Jan Schwinghammer, Kristian Støvring
Fixed Points in Computer Science (FICS'10)
Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles
(pdf)
Mark Kaminski, Gert Smolka
TCS 2010
Clausal Tableaux for Hybrid PDL
(pdf)
Mark Kaminski, Gert Smolka
Technical Report
Terminating Tableaux for Hybrid Logic with Eventualities
(pdf)
Mark Kaminski, Gert Smolka
IJCAR 2010
Analytic Tableaux for Simple Type Theory and its First-Order Fragment
Chad E. Brown, Gert Smolka
Logical Methods in Computer Science
A Semantic Foundation for Hidden State
(pdf)
Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus
Foundations of Software Science and Computation Structures (FOSSACS 2010)
Spartacus: A Tableau Prover for Hybrid Logic
(pdf)
Daniel Götzmann, Mark Kaminski, Gert Smolka
M4M-6
File upload test
(pdf)
Alexander Aiken
Formalizing TT-lifting in Isabelle/HOL-Nominal
(pdf)
Christian Doczkal
Master's Thesis, Saarland University
Proof Representations for Higher-Order Logic
(pdf)
Christine Rizkallah
Master's Thesis, Saarland University
Dynamic Programming based RNA Pseudoknot Alignment
(pdf)
Mathias Möhl
Doctoral Dissertation, Saarland University
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
Geoff Sutcliffe, Christoph E. Benzmüller, Chad E. Brown, Frank Theiss
Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
View-based Propagator Derivation
(pdf)
Christian Schulte, Guido Tack
Technical Report
Fast RNA Structure Alignment for Crossing Input Structures
(pdf)
Rolf Backofen, Gad Landau, Mathias Möhl, Dekel Tsur, Oren Weimann
Proceedings of the 20th Annual Symposium on Combinatorial Pattern Matching (CPM 2009)
Maintaining State in Propagation Solvers
(pdf)
Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack
Proceedings of the 15th international conference on principles and practice of constraint programming
Weakly Monotonic Propagators
(pdf)
Christian Schulte, Guido Tack
Proceedings of the 15th international conference on principles and practice of constraint programming
Correctly Translating Concurrency Primitives
(pdf)
Jan Schwinghammer, David Sabel, Manfred Schmidt-Schauß, Joachim Niehren
2009 ACM SIGPLAN Workshop on ML (ML'09)
Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles
(pdf)
Mark Kaminski, Gert Smolka
DL 2009
Formalizing a Strong Normalization Proof for Moggi's Computational Metalanguage
(pdf)
Christian Doczkal, Jan Schwinghammer
4th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'09)
Nested Hoare Triples and Frame Rules for Higher-Order Store
(pdf)
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
Computer Science Logic (CSL'09)
Complete Cut-Free Tableaux for Equational Simple Type Theory
(pdf)
Chad E. Brown, Gert Smolka
Technical Report
Cut-Simulation and Impredicativity
Christoph Benzmueller, Chad E. Brown, Michael Kohlhase
Logical Methods in Computer Science
Extended First-Order Logic
(pdf)
Chad E. Brown, Gert Smolka
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Proceedings
On Correctness of Buffer Implementations in a Concurrent Lambda Calculus with Futures
(pdf)
Jan Schwinghammer, David Sabel, Joachim Niehren, Manfred Schmidt-Schauß
Technical Report
Lifting Prediction to Alignment of RNA Pseudoknots
(pdf)
Mathias Möhl, Sebastian Will, Rolf Backofen
Proceedings of the 13th Annual International Conferences on Computational Molecular Biology (RECOMB'09)
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
(pdf)
Mark Kaminski, Sigurd Schneider, Gert Smolka
TABLEAUX 2009
Terminating Tableau Systems for Hybrid Logic with Difference and Converse
(pdf)
Mark Kaminski, Gert Smolka
Journal of Logic, Language and Information
Spartacus: A Tableau Prover for Hybrid Logic
(pdf)
Daniel Götzmann
M.Sc. Thesis, Programming Systems Lab, Department of Computer Science, Saarland University
Terminating Tableaux for the Basic Fragment of Simple Type Theory
(pdf)
Chad E. Brown, Gert Smolka
TABLEAUX 2009
Constraint Propagation -- Models, Techniques, Implementation
(pdf)
Guido Tack
Doctoral Dissertation, Saarland University
A Step-indexed Semantics of Imperative Objects
Catalin Hritcu, Jan Schwinghammer
Logical Methods in Computer Science
Hybrid Tableaux for the Difference Modality
(pdf)
Mark Kaminski, Gert Smolka
M4M-5
Coherence of Subsumption for Monadic Types
(pdf)
Jan Schwinghammer
Journal of Functional Programming
On Proving the Equivalence of Concurrency Primitives
(pdf)
Jan Schwinghammer, David Sabel, Joachim Niehren, Manfred Schmidt-Schauß
Technical Report
A Minimal Propositional Type Theory
(pdf)
Mark Kaminski, Gert Smolka
Technical Report
M-set Models
(pdf)
Chad E. Brown
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Cut Elimination with xi-Functionality
(pdf)
Christoph E. Benzmüller, Chad E. Brown, Michael Kohlhase
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
A Finite Axiomatization of Propositional Type Theory in Pure Lambda Calculus
(pdf)
Mark Kaminski, Gert Smolka
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Perfect Derived Propagators
(pdf)
Christian Schulte, Guido Tack
14th International Conference on Principles and Practice of Constraint Programming
Terminating Tableau Systems for Modal Logic with Equality
(pdf)
Mark Kaminski, Gert Smolka
Technical Report, Submitted
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
(pdf)
Mark Kaminski, Gert Smolka
IJCAR 2008
Perfect Derived Propagators
(pdf)
Christian Schulte, Guido Tack
Technical Report, Available from http://arxiv.org/abs/0806.1806
Fixed Parameter Tractable Alignment of RNA Structures Including Arbitrary Pseudoknots
(pdf)
Mathias Möhl, Sebastian Will, Rolf Backofen
Proceedings of the 19th Annual Symposium on Combinatorial Pattern Matching (CPM 2008)
Adequacy of Compositional Translations for Observational Semantics
(pdf)
Manfred Schmidt-Schauß, Joachim Niehren, David Sabel, Jan Schwinghammer
5th IFIP International Conference on Theoretical Computer Science
A Simple Model of Separation Logic for Higher-order Store
(pdf)
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang
Int. Conference Automata Logic and Programming (ICALP'08)
On Normalization by Evaluation for Object Calculi
(pdf)
Jan Schwinghammer
TYPES'07
Decomposition During Search for Propagation-Based Constraint Solvers
(pdf)
Martin Mann, Guido Tack, Sebastian Will
Technical Report, Available from http://arxiv.org/abs/0712.2389
Dependency Grammar: Classification and Exploration
(pdf)
Ralph Debusmann, Marco Kuhlmann
Technical Report
A Step-indexed Semantics of Imperative Objects (Extended Abstract)
(pdf)
Catalin Hritcu, Jan Schwinghammer
Workshop Proceedings Foundations of Object-Oriented Languages (FOOL'08)
A Proof of Strong Normalization for Call-by-push-value
(pdf)
Christian Doczkal, Jan Schwinghammer
Strong Normalization of Call-by-push-value
(pdf)
Christian Doczkal
B.Sc. Thesis, Programming Systems Lab, Department of Informatics, Saarland University
A Principle Compiler for Extensible Dependency Grammar
(pdf)
Jochen Setz
Technical Report
A Step-indexed Semantics of Imperative Objects (Extended Version)
(pdf)
Catalin Hritcu, Jan Schwinghammer
Technical Report
Dependency Structures and Lexicalized Grammars
(pdf)
Marco Kuhlmann
Doctoral Dissertation, Saarland University
MiniZinc: Towards a Standard CP Modelling Language
(pdf)
Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack
13th International Conference on Principles and Practice of Constraint Programming
Status Report: HOT Pickles, and how to serve them
(pdf)
Andreas Rossberg, Guido Tack, Leif Kornstaedt
2007 ACM SIGPLAN Workshop on ML
The string-generative capacity of regular dependency languages
(pdf)
Marco Kuhlmann, Mathias Möhl
Twelfth Conference on Formal Grammar (FG)
A Step-indexed Semantic Model of Types for the Functional Object Calculus
(pdf)
Catalin Hritcu
M.Sc. Thesis, Programming Systems Lab, Department of Informatics, Saarland University
Mildly Context-Sensitive Dependency Languages
(pdf)
Marco Kuhlmann, Mathias Möhl
45th Annual Meeting of the Association for Computational Linguistics (ACL)
Typed Open Programming -- A higher-order, typed approach to dynamic modularity and distribution
(pdf)
Andreas Rossberg
PhD Thesis, Universität des Saarlandes, Preliminary version
A Straightforward Saturation-Based Decision Procedure for Hybrid Logic
(pdf)
Mark Kaminski, Gert Smolka
International Workshop on Hybrid Logic 2007 (HyLo 2007)
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
(pdf)
Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
23rd Conference on Mathematical Foundations of Programming Semantics (MFPS XXIII)
Higher-Order Syntax and Saturation Algorithms for Hybrid Logic
(pdf)
Moritz Hardt, Gert Smolka
Electronic Notes in Theoretical Computer Science
Scrambling as the Combination of Relaxed Context-Free Grammars in a Model-Theoretic Grammar Formalism
(pdf)
Ralph Debusmann
Model-Theoretic Syntax at 10, ESSLLI 2007
Program Equivalence for a Concurrent Lambda Calculus with Futures
(pdf)
Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
Technical Report, Revised version appeared Proc. of Mathematical Foundations of Programming Semantics (23rd MFPS), April 2007
Effectful Computation in Moggi's Calculus with Records and Subtyping
(pdf)
Dieter Brunotte
Bachelor's Thesis, Saarland University
A Sandboxing Infrastructure for Alice ML
(pdf)
Andi Scharfstein
Bachelor's Thesis
Proof Nets for Intuitionistic Logic
(pdf)
Matthias Horbach
Master's Thesis
A Semantics For Lazy Types
(pdf)
Georg Neis
Bachelor's Thesis
The Missing Link - Dynamic Components for ML (Extended)
(pdf)
Andreas Rossberg
Technical Report, Extended version of ICFP'06 paper
Extended cross-serial dependencies in Tree Adjoining Grammars
(pdf)
Marco Kuhlmann, Mathias Möhl
Eighth International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+8)
Lexicalised Configuration Grammars (Extended Version)
(pdf)
Robert Grabowski, Marco Kuhlmann, Mathias Möhl
Technical Report
Mildly Non-Projective Dependency Structures
(pdf)
Marco Kuhlmann, Joakim Nivre
22nd International Conference on Computational Linguistics and 43rd Annual Meeting of the Association for Computational Linguistics (COLING-ACL), Companion Volume
Completeness Results for Higher-Order Equational Logic
(pdf)
Mark Kaminski
Master's Thesis, Saarland University
Reasoning about Denotations of Recursive Objects
(pdf)
Jan Schwinghammer
PhD Thesis, Department of Informatics, University of Sussex
Extensible Dependency Grammar --- A Modular Grammar Formalism Based On Multigraph Description
(pdf)
Ralph Debusmann
PhD Thesis
Computational Aspects of Non-Projective Dependency Grammars
(pdf)
Robert Grabowski
Diploma thesis, Programming Systems Lab, Universitat des Saarlandes
Separation Logic for Higher-order Store
(pdf)
Bernhard Reus, Jan Schwinghammer
Computer Science Logic (CSL'06)
Generating Propagators for Finite Set Constraints
(pdf)
Guido Tack, Christian Schulte, Gert Smolka
12th International Conference on Principles and Practice of Constraint Programming
The Missing Link - Dynamic Components for ML
(pdf)
Andreas Rossberg
11th International Conference on Functional Programming
Run-Time Byte Code Compilation, Optimization, and Interpretation for Alice
(pdf)
Christian Müller
Master's Thesis
Views and Iterators for Generic Constraint Implementations
(pdf)
Christian Schulte, Guido Tack
Recent Advances in Constraints
Drawings as Models of Syntactic Structure: Theory and Algorithms
(pdf)
Mathias Möhl
Diploma thesis, Programming Systems Lab, Universitat des Saarlandes, Saarbrucken
Multi-dimensional Dependency Grammar as Multigraph Description
(pdf)
Ralph Debusmann, Gert Smolka
Proceedings of FLAIRS-19
Design and Implementation of a Programmable Middleware
(pdf)
Leif Kornstaedt
PhD Thesis, Universität des Saarlandes
A Concurrent Lambda Calculus with Futures
(pdf)
Joachim Niehren, Jan Schwinghammer, Gert Smolka
Theoretical Computer Science
Denotational Semantics for a Program Logic of Objects
(pdf)
Bernhard Reus, Jan Schwinghammer
Mathematical Structures in Computer Science
Permutation Semantics of Separation Logic
(pdf)
Murat Baktiev
Master's Thesis, Saarland University
Generic Pickling and Minimization
(pdf)
Guido Tack, Leif Kornstaedt, Gert Smolka
Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005)
Alice Through the Looking Glass
(pdf)
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
Trends in Functional Programming, Volume 5
First-Order Theory of Subtyping Constraints
(pdf)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
ACM Transactions on Programming Languages and Systems
Studies in Higher-Order Equational Logic, Bachelor's Thesis
(pdf)
Mark Kaminski
Bachelor's Thesis
Denotational Semantics for Abadi and Leino's Logic of Objects
(pdf)
Bernhard Reus, Jan Schwinghammer
The European Symposium on Programming (ESOP'05)
A Typed Semantics of Higher-Order Store and Subtyping
(pdf)
Jan Schwinghammer
Italian Conference on Theoretical Computer Science (ICTCS'05)
Well-Nested Drawings as Models of Syntactic Structure (Extended Version)
(pdf)
Manuel Bodirsky, Marco Kuhlmann, Mathias Möhl
Technical Report
Lexicalised Configuration Grammars
(pdf)
Robert Grabowski, Marco Kuhlmann, Mathias Möhl
Second International Workshop on Constraint Solving and Language Processing (CSLP 2005)
Views and Iterators for Generic Constraint Implementations
(pdf)
Christian Schulte, Guido Tack
11th International Conference on Principles and Practice of Constraint Programming
Views and Iterators for Generic Constraint Implementations
(pdf)
Christian Schulte, Guido Tack
Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS)
Modular Grammar Design with Typed Parametric Principles
(pdf)
Ralph Debusmann, Denys Duchier, Andreas Rossberg
10th Conference on Formal Grammar and 9th Meeting on Mathematics of Language
Well-Nested Drawings as Models of Syntactic Structure
(pdf)
Manuel Bodirsky, Marco Kuhlmann, Mathias Möhl
10th Conference on Formal Grammar and 9th Meeting on Mathematics of Language
Alice Through the Looking Glass (Extended Mix)
(pdf)
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
Technical Report, Draft, \urlhttp://www.ps.uni-sb.de/Papers/
A Modular Account of Information Structure in Extensible Dependency Grammar
(pdf)
Ralph Debusmann, Oana Postolache, Maarika Traat
Proceedings of the CICLING 2005 Conference
The Definition of Standard ML with Packages
(pdf)
Andreas Rossberg
Technical Report
The Complexity of Subtype Satisfiability over Posets
(pdf)
Joachim Niehren, Tim Priesnitz, Zhendong Su
14th European Symposium on Programming
A Concurrent Lambda Calculus with Futures
(pdf)
Joachim Niehren, Jan Schwinghammer, Gert Smolka
5th International Workshop on Frontiers in Combining Systems
Set Comprehension in Church's Type Theory
(pdf)
Chad E. Brown
PhD Thesis, Department of Mathematical Sciences, Carnegie Mellon University
Evaluation of the Stochastic Extension of a Constraint-Based Dependency Parser
(pdf)
Renjini Narendranath
Bachelor's Thesis, Saarland University
Efficiently Computing the Density of Regular Languages
Manuel Bodirsky, Tobias Gärtner, Timo vonOertzen, Jan Schwinghammer
LATIN 2004: Theoretical Informatics: 6th Latin American Symposium
Subtype Satisfiability and Entailment
(pdf)
Tim Priesnitz
PhD Thesis
From Proof Nets to the Free *-Autonomous Category
(pdf)
François Lamarche, Lutz Straßburger
Submitted
Naming Proofs in Classical Propositional Logic
(pdf)
François Lamarche, Lutz Straßburger
Submitted.
Constraint-based and graph-based resolution of ambiguities in natural language
(pdf)
Alexander Koller
PhD Thesis, Saarland University, Department of Computer Science
Compositional Abstractions for Search Factories
(pdf)
Guido Tack, Didier Le Botlan
2nd International Conference on Multiparadigm Programming in Mozart/Oz
Multi-dimensional Graph Configuration for Natural Language Processing
(pdf)
Ralph Debusmann, Denys Duchier, Marco Kuhlmann
Proceedings of the International Workshop on Constraint Solving and Language Processing
The XDG Grammar Development Kit
(pdf)
Ralph Debusmann, Denys Duchier, Joachim Niehren
2nd International Conference on Multiparadigm Programming in Mozart/Oz
Multiword expressions as dependency subgraphs
(pdf)
Ralph Debusmann
Proceedings of the ACL 2004 Workshop on Multiword Expressions: Integrating Processing
Extensible Dependency Grammar: A New Methodology
(pdf)
Ralph Debusmann, Denys Duchier, Geert-Jan M. Kruijff
Proceedings of the COLING 2004 Workshop on Recent Advances in Dependency Grammar
Global Constraints for Round Robin Tournament Scheduling
(pdf)
Martin Henz, Tobias Müller, Sven Thiel
European Journal for Operational Research
Efficient Algorithms for Constraint Propagation and for Processing Tree Descriptions
(pdf)
Sven Thiel
Dissertation, Universität des Saarlandes
Minimal Recursion Semantics as Dominance Constraints: Translation, Evaluation, and Analysis
(pdf)
Ruth Fuchss, Alexander Koller, Joachim Niehren, Stefan Thater
42th Meeting of the Association for Computational Linguistics
TAG Parsing as Model Enumeration
(pdf)
Ralph Debusmann, Denys Duchier, Marco Kuhlmann, Stefan Thater
Proceedings of the Seventh International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+7)
A New Algorithm for Normal Dominance Constraints
(pdf)
Manuel Bodirsky, Denys Duchier, Sebastian Miele, Joachim Niehren
ACM-SIAM Symposium on Discrete Algorithms
A Relational Syntax-Semantics Interface Based on Dependency Grammar
(pdf)
Ralph Debusmann, Denys Duchier, Alexander Koller, Marco Kuhlmann, Gert Smolka, Stefan Thater
Proceedings of the 20th International Conference on Computational Linguistics (COLING 2004)
Put my galakmid coin into the dispenser and kick it: Computational Linguistics and Theorem Proving in a Computer Game
(pdf)
Alexander Koller, Ralph Debusmann, Malte Gabsdil, Kristina Striegnitz
Bridging the Gap Between Underspecification Formalisms: Hole Semantics as Dominance Constraints
(pdf)
Alexander Koller, Joachim Niehren, Stefan Thater
Meeting of the European Chapter of the Association of Computational Linguistics
Open Programming Services for Virtual Machines: The Design of Mozart and SEAM
(pdf)
Thorsten Brunklaus, Leif Kornstaedt
Generativity and Dynamic Opacity for Abstract Types (Extended Version)
(pdf)
Andreas Rossberg
Technical Report, Extended version of PPDP'2003 paper
A Parser System for Extensible Dependency Grammar
(pdf)
Ralph Debusmann
Prospects and Advances of the Syntax/Semantics Interface
Generativity and Dynamic Opacity for Abstract Types
(pdf)
Andreas Rossberg
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Linearisation, Minimisation and Transformation of Data Graphs with Transients
(pdf)
Guido Tack
Diploma thesis, Programming Systems Lab, Universität des Saarlandes, Saarbrücken
Dependency Grammar as Graph Description
(pdf)
Ralph Debusmann
Prospects and Advances of the Syntax/Semantics Interface
Statistical A-Star Dependency Parsing
(pdf)
Péter Dienes, Alexander Koller, Marco Kuhlmann
Prospects and Advances of the Syntax/Semantics Interface
Well-Nested Parallelism Constraints for Ellipsis Resolution
(pdf)
Katrin E. Erk, Joachim Niehren
11th Conference of the European Chapter of the Association of Computational Linguistics
Bridging the Gap Between Underspecification Formalisms: Minimal Recursion Semantics as Dominance Constraints
(pdf)
Joachim Niehren, Stefan Thater
41st Meeting of the Association of Computational Linguistics
An Efficient Graph Algorithm for Dominance Constraints
(pdf)
Ernst Althaus, Denys Duchier, Alexander Koller, Kurt Mehlhorn, Joachim Niehren, Sven Thiel
Journal of Algorithms
Non-Structural Subtype Entailment in Automata Theory
(pdf)
Joachim Niehren, Tim Priesnitz
Information and Computation
IOzSeF - The Integrated Oz Search Factory
(pdf)
Guido Tack
Technical Report
A Theory of Overloading Part II: Semantics and Coherence
(pdf)
Martin Sulzmann, Andreas Rossberg
Technical Report
Ressourcenoptimierung von Workflow Problemen
(pdf)
Martin Homik
Master's Thesis
Parallelism and Tree Regular Constraints
(pdf)
Joachim Niehren, Mateu Villaret
International Conference on Logic for Programming, Artificial Intelligence
and Reasoning
Constraint Programming in Computational Linguistics
(pdf)
Alexander Koller, Joachim Niehren
Words, Proofs, and Dialog
Processing Underspecified Semantic Representations in the Constraint Language for Lambda Structures
(pdf)
Katrin E. Erk, Alexander Koller, Joachim Niehren
Journal of Research on Language and Computation
First-Order Theory of Subtyping Constraints
(pdf)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
A Concurrent Lambda-Calculus with Promises and Futures
(pdf)
Jan Schwinghammer
Master's Thesis, Programming Systems Lab, Universität des Saarlandes
Parallelism Constraints in Underspecified Semantics
(pdf)
Katrin E. Erk
PhD Thesis, Saarland University
Towards a Constraint Parser for Categorial Type Logics
(pdf)
Marco Kuhlmann
Master's Thesis, Division of Informatics, University of Edinburgh
Dynamic Opacity for Abstract Types
(pdf)
Andreas Rossberg
Technical Report
Linking syntactic and semantic arguments in a dependency-based formalism
(pdf)
Christian Korthals, Ralph Debusmann
Proceedings of COLING 2002
Beyond Type Classes
(pdf)
Andreas Rossberg, Martin Sulzmann
Technical Report
A Virtual Machine for Multi-Language Execution
(pdf)
Thorsten Brunklaus, Leif Kornstaedt
Defects in the Revised Definition of Standard ML
(pdf)
Andreas Rossberg
Technical Report, Updated 2004/06/22, 2005/01/13, 2005/01/26, 2006/07/18., 2007/01/22
A Declarative Grammar Formalism For Dependency Grammar
(pdf)
Ralph Debusmann
Master's Thesis, Computational Linguistics, Universität des Saarlandes
Dominance Constraints in Context Unification
(pdf)
Joachim Niehren, Alexander Koller
Proceedings of the 3$^rm rd$ International Conference on Logical Aspects of Computational Linguistics (Dec. 1998, Grenoble, France)
Dominance Constraints: Algorithms and Complexity
(pdf)
Alexander Koller, Joachim Niehren, Ralf Treinen
Third International Conference on Logical Aspects of Computational Linguistics (Dec. 1998, Grenoble, France)
An Efficient Algorithm for the Configuration Problem of Dominance Graphs
(pdf)
Ernst Althaus, Denys Duchier, Alexander Koller, Kurt Mehlhorn, Joachim Niehren, Sven Thiel
Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms
The First-Order Theory of Ordering Constraints over Feature Trees
(pdf)
Martin Müller, Joachim Niehren, Ralf Treinen
Discrete Mathematics and Theoretical Computer Science
Non-Structural Subtype Entailment in Automata Theory
(pdf)
Joachim Niehren, Tim Priesnitz
Fourth International Symposium on Theoretical Aspects of Computer Software
Topological Dependency Trees: A Constraint-based Account of Linear Precedence
(pdf)
Denys Duchier, Ralph Debusmann
Proceedings of ACL 2001
Beta Reduction Constraints
(pdf)
Manuel Bodirsky, Katrin E. Erk, Alexander Koller, Joachim Niehren
International Conference on Rewriting Techniques and Applications
QTk -- A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces
(pdf)
Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt
8th IFIP Working Conference on Engineering for Human-Computer Interaction (EHCI'01)
Underspecified Beta Reduction
(pdf)
Manuel Bodirsky, Katrin E. Erk, Alexander Koller, Joachim Niehren
39th Annual Meeting of the Association for Computational Linguistics
A compositional account of VP ellipsis
(pdf)
Markus Egg, Katrin E. Erk
8th International Conference on Head-Driven Phrase Structure Grammar
Beta Reduction Constraints
(pdf)
Manuel Bodirsky
Master's Thesis
Lexicalized Syntax and Topology for Non-projective Dependency Grammar
(pdf)
Denys Duchier
Joint Conference on Formal Grammars and Mathematics of Language FGMOL'01
VP Ellipsis by Tree Surgery
(pdf)
Katrin E. Erk, Alexander Koller
Technical Report, Submitted. Extended version available at \urlhttp://www.ps.uni-sb.de/Papers/abstracts/jparal.html
The Constraint Language for Lambda Structures
(pdf)
Markus Egg, Alexander Koller, Joachim Niehren
Journal of Logic, Language, and Information
When Do Bounds and Domain Propagation Lead to the Same Search Space
(pdf)
Christian Schulte, Peter J. Stuckey
Third International Conference on Principles and Practice of Declarative Programming
Alice in the Land of Oz -- An Interoperability-based Implementation of a Functional Language on Top of a Relational Language
(pdf)
Leif Kornstaedt
Proceedings of the First Workshop on Multi-language Infrastructure and Interoperability (BABEL'01), Electronic Notes
in Computer Science
QTk -- An Integrated Model-Based Approach to Designing Executable User Interfaces
(pdf)
Donatien Grolaux, Peter Van Roy
8th Workshop on Design, Specification, and Verification of Interactive Systems (DSVIS 2001)
Tree Descriptions, Constraints and Incrementality
(pdf)
Denys Duchier, Claire Gardent
Computing Meaning, Volume 2
Constraint Propagation in Mozart
(pdf)
Tobias Müller
Doctoral dissertation, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät I, Fachrichtung Informatik
Uniform Confluence in Concurrent Computation
(pdf)
Joachim Niehren
Journal of Functional Programming
Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic
(pdf)
Martin Müller, Joachim Niehren
Information and Computation
Ordering Constraints over Feature Trees
(pdf)
Martin Müller, Joachim Niehren, Andreas Podelski
Constraints, an International Journal
A Lightweight Reliable Object Migration Protocol
(pdf)
Peter Van Roy, Per Brand, Seif Haridi, Raphaël Collet
On Rewrite Constraints and Context Unification
(pdf)
Joachim Niehren, Ralf Treinen, Sophie Tison
Information Processing Letters
Programming Deep Concurrent Constraint Combinators
(pdf)
Christian Schulte
Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000
On Underspecified Processing of Dynamic Semantics
(pdf)
Alexander Koller, Joachim Niehren
Proceedings of the 18th International Conference on Computational Linguistics
Parallelism Constraints
(pdf)
Katrin E. Erk, Joachim Niehren
International Conference on Rewriting Techniques and Applications
Dominance Constraints with Set Operators
(pdf)
Denys Duchier, Joachim Niehren
Proceedings of the First International Conference on Computational Logic (CL2000)
An Implementation of the Programming Language DML in Java: Compiler
(pdf)
Andreas Walter
Master's Thesis
An Implementation of the Programming Language DML in Java: Runtime Environment
(pdf)
Daniel Simon
Master's Thesis
Relaxing Underspecified Semantic Representations for Reinterpretation
(pdf)
Alexander Koller, Joachim Niehren, Kristina Striegnitz
Grammars
Integrating Constraint Solving into Proof Planning
(pdf)
Erica Melis, Jürgen Zimmer, Tobias Müller
Frontiers of Combining Systems -- Third International Workshop, FroCos 2000
An Overview of Finite Domain Constraint Programming
(pdf)
Martin Henz, Tobias Müller
Proceedings of the Fifth Conference of
the Association of Asia-Pacific Operational
Research Societies
A Polynomial-Time Fragment of Dominance Constraints
(pdf)
Alexander Koller, Kurt Mehlhorn, Joachim Niehren
Proceedings of the 38th Annual Meeting of the Association of Computational Linguistics
Entailment von nicht-strukturellen Teiltyp-Constraints
(pdf)
Tim Priesnitz
Master's Thesis, Diplomarbeit. Fachbereich Informatik, Universität des Saarlandes
A Model-Eliminative Treatment of Quantifier-free Tree Descriptions
(pdf)
Denys Duchier
Algebraic Methods in Language Processing, AMILP~2000, TWLT~16
Constraint Programming For Natural Language Processing
(pdf)
Denys Duchier
Parallel Search Made Simple
(pdf)
Christian Schulte
Technical Report, To appear.
Promoting Constraints to First-class Status
(pdf)
Tobias Müller
Proceedings of the First International Conference on Computational Logic -- CL2000
Der Oz Inspector - Browsen: Interaktiver, einfacher, effizienter
(pdf)
Thorsten Brunklaus
Master's Thesis
Dominance Constraints With Boolean Connectives: A Model-Eliminative Treatment
(pdf)
Denys Duchier
Scheduling of Time-Triggered Real-Time Systems
Klaus Schild, Jörg Würtz
Constraints
Type Inference for First-Class Messages with Feature Constraints
(pdf)
Martin Müller, Susumu Nishimura
International Journal of Foundations of Computer Science
Practical Investigation of Constraints with Graph Views
(pdf)
Tobias Müller
Proceedings of the Sixth International Conference on Principles and Practice of Constraint
Programming -- CP 2000
GIFT: a Generic Interface for Reusing Filtering Algorithms.
(pdf)
Ka Boon Ng, Chiu Wo Choi, Martin Henz, Tobias Müller
Proceedings of the Workshop on Techniques for Implementing
Constraint Programming Systems - TRICS
Extensions of Constraint Solving for Proof Planning
(pdf)
Erica Melis, Jürgen Zimmer, Tobias Müller
Proceedings of the 14th European Conference on Artificial Intelligence
Die Verarbeitung von Parallelismus-Constraints
(pdf)
Katrin E. Erk
Informatik 2000 -- 30. Jahrestagung der Gesellschaft für Informatik
Fault-Tolerant Mobile Agents in Mozart
(pdf)
Iliès Alouini, Peter Van Roy
2nd International Symposium on Agent Systems and Applications (ASA2000) and 4th International Symposium on
Mobile Agents (MA2000)
ML mit Typklassen
(pdf)
Gerhard Schneider
Master's Thesis
Configuration Of Labeled Trees Under Lexicalized Constraints And Principles
(pdf)
Denys Duchier
Programming Constraint Services
(pdf)
Christian Schulte
Doctoral dissertation, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät I, Fachrichtung Informatik
Efficient Logic Variables for Distributed Computing
(pdf)
Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka
ACM Transactions on Programming Languages and Systems
A Constraint-Based Treatment of Descriptions
(pdf)
Denys Duchier, Claire Gardent
Third International Workshop on Computational Semantics (IWCS-3)
Le protocole r'eparti de Distributed Oz (in French)
(pdf)
Iliès Alouini, Peter Van Roy
Colloque Francophone sur l'Ing'enierie des Protocoles (CFIP 99)
Relaxing Underspecified Semantic Representations for Reinterpretation
(pdf)
Alexander Koller, Joachim Niehren, Kristina Striegnitz
Proceedings of the Sixth Meeting on Mathematics of Language (MOL6)
Taming Complexity: Constraint-Based Dependency Parsing
(pdf)
Denys Duchier
Submitted to 6th Meeting on the Mathematics of Language
Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs
(pdf)
Andreas Podelski, Witold Charatonik, Martin Müller
Proceedings of ESOP'99, the European Symposium of Programmin
Constraint Languages for Semantic Underspecification
(pdf)
Alexander Koller
Diplom thesis, Universität des Saarlandes
Entailment of Non-Structural Subtype Constraints
(pdf)
Joachim Niehren, Tim Priesnitz
Asian Computing Science Conference
State-space Planning by Integer Optimization
(pdf)
Henry Kautz, Joachim Paul Walser
Proceedings Fifteenth National Conference on Artificial Intelligence (AAAI-99)
The Oz Virtual Machine - Records, Transients, and Deep Guards
(pdf)
Michael Mehl
PhD Thesis, Technische Fakultät der Universität des Saarlandes
Ein Debugger für Oz
(pdf)
Benjamin Lorenz
Master's Thesis
Entailment of Atomic Set Constraints is PSPACE-Complete
(pdf)
Martin Müller, Joachim Niehren, Jean-Marc Talbot
Fourteenth Annual IEEE Symposium on Logic in Computer Sience
Embedding Propagators in a Concurrent Constraint Language
(pdf)
Tobias Müller, Jörg Würtz
The Journal of Functional and Logic Programming
Practical Investigation of Constraints with Graph Views
(pdf)
Tobias Müller
Proceedings of the International Workshop on Implementation of Declarative Languages (IDL'99)
Set Constraints in Computational Linguistics -- Solving Tree Descriptions
(pdf)
Denys Duchier
Workshop on Declarative Programming with Sets (DPS'99)
Axiomatizing Dependency Parsing Using Set Constraints
(pdf)
Denys Duchier
Sixth Meeting on Mathematics of Language
Parsing with Tree Descriptions: a constraint-based approach
(pdf)
Denys Duchier, Stefan Thater
Sixth International Workshop on Natural Language Understanding and Logic Programming (NLULP'99)
Scope Underspecification and Processing
(pdf)
Alexander Koller, Joachim Niehren
Reader for the ESSLLI summer school.
A new mobile state protocol for Distributed Oz
(pdf)
Mustapha Hadim, Peter Van Roy
ISCA 12th International Conference on Parallel and Distributed Computing Systems (PDCS 99)
Logic Programming in Oz with Mozart
(pdf)
Peter Van Roy
International Conference on Logic Programming
Comparing Trailing and Copying for Constraint Programming
(pdf)
Christian Schulte
Proceedings of the Sixteenth International Conference on Logic Programming
Simulating Boolean circuits by finite splicing
(pdf)
Katrin E. Erk
Proc. Congress on Evolutionary Computation (CEC '99)
On the separation of concerns in distributed programming: Application to distribution structure and fault tolerance in Mozart
(pdf)
Peter Van Roy
Mozart: A Programming System for Agent Applications
(pdf)
Peter Van Roy, Seif Haridi
International Workshop on Distributed and Internet Programming with
Logic and Constraint Languages
Figaro: Yet Another Constraint Programming Library
(pdf)
Martin Henz, Tobias Müller, Ka Boon Ng
Workshop on Parallelism and Implementation Technology for Constraint Logic Programming
Concurrent Constraint Programming in Oz for Natural Language Processing
Denys Duchier, Claire Gardent, Joachim Niehren
Available at \urlhttp://www.ps.uni-sb.de/~niehren/Web/Vorlesungen/Oz-NL-SS01/BookHomePage.html
The First-Order Theory of Ordering Constraints over Feature Trees
(pdf)
Martin Müller, Joachim Niehren, Ralf Treinen
Thirteenth annual IEEE Symposium on Logic in Computer Sience (LICS98)
Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic
(pdf)
Martin Müller, Joachim Niehren
International Conference on Rewriting Techniques and Applications
Constraints over Lambda-Structures in Semantic Underspecification
(pdf)
Markus Egg, Joachim Niehren, Peter Ruhrberg, Feiyu Xu
Proceedings of the 17th International Conference on Computational Linguistics and 36th Annual Meeting
of the Association for Computational Linguistics
Concurrent Constraint Programming Based on Functional Programming
(pdf)
Gert Smolka
Programming Languages and Systems
Solving Set Partitioning Problems with Constraint Programming
(pdf)
Tobias Müller
Proceedings of the Sixth International Conference on the Practical Application of Prolog and the Forth
International Conference on the
Practica
Programming Languages for Distributed Applications
(pdf)
Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte
New Generation Computing
An Integer Local Search Method with Application to Capacitated Production Planning
(pdf)
Joachim Paul Walser, Ramesh Iyer, Narayan Venkatasubramanyan
Proceedings of the 15th National Conference on Artificial Intelligence, AAAI-98
Lösen kombinatorischer Probleme mit Constraintprogrammierung in Oz
(pdf)
Jörg Würtz
PhD Thesis, Universität des Saarlandes, Fachbereich Informatik
Abstract Local Search
(pdf)
James M. Crawford, Mukesh Dalal, Joachim Paul Walser
Proceedings of the AIPS-98 Workshop on Planning as Combinatorial Search
Off-Line Scheduling of a Real-Time System
(pdf)
Klaus Schild, Jörg Würtz
Proceedings of the 1998 ACM Symposium on Applied Computing, SAC98
A Platform for Constructing Virtual Spaces
(pdf)
Per Brand, Nils Franzen, Erik Klintskog, Seif Haridi
Proceedings of the Virtual Worlds and Simulation Conference
Scheduling a Major College Basketball Conference - Revisited
(pdf)
Martin Henz
Under revision.
Type Inference for First-Class Messages with Feature Constraints
(pdf)
Martin Müller, Susumu Nishimura
Asian Computer Science Conference (ASIAN 98)
Set-based Failure Diagnosis for Concurrent Constraint Programming
(pdf)
Martin Müller
PhD Thesis, Universität des Saarlandes, Fachbereich Informatik
Futures and By-need Synchronization
(pdf)
Michael Mehl, Christian Schulte, Gert Smolka
Technical Report, DRAFT
A Higher-order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling
(pdf)
Denys Duchier, Leif Kornstaedt, Christian Schulte, Gert Smolka
Technical Report, DRAFT
Domain-Independent Local Search for Linear Integer Optimization
(pdf)
Joachim Paul Walser
PhD Thesis, Universität des Saarlandes, Fachbereich Informatik
Design, Implementierung und Evaluierung einer virtuellen Maschine für Oz
(pdf)
Ralf Scheidhauer
PhD Thesis, Universität des Saarlandes, Fachbereich Informatik
Objects in Oz
(pdf)
Martin Henz
PhD Thesis, Saarland University
The First-Order Theory of Lexicographic Path Orderings is Undecidable
(pdf)
Hubert Comon, Ralf Treinen
Theoretical Computer Science
Constraint-Based Scheduling in Oz
(pdf)
Jörg Würtz
Operations Research Proceedings 1996
Inclusion Constraints over Non-Empty Sets of Trees
(pdf)
Martin Müller, Joachim Niehren, Andreas Podelski
Theory and Practice of Software Development, International Joint Conference CAAP/FASE/TOOLS
Oz Explorer: A Visual Constraint Programming Tool
(pdf)
Christian Schulte
Proceedings of the Fourteenth International Conference on Logic Programming
Solving Linear Pseudo-Boolean Constraint Problems with Local Search
(pdf)
Joachim Paul Walser
Proceedings of the fourteenth National Conference on Artificial Intelligence (AAAI '97)
A Uniform Approach to Underspecification and Parallelism
(pdf)
Joachim Niehren, Manfred Pinkal, Peter Ruhrberg
Proceedings of the 35th Annual Meeting of the Association of Computational Linguistics (ACL)
On Equality Up-to Constraints over Finite Trees, Context Unification and One-Step Rewriting
(pdf)
Joachim Niehren, Manfred Pinkal, Peter Ruhrberg
Proceedings of the International Conference on Automated Deduction
Programming Constraint Inference Engines
(pdf)
Christian Schulte
Proceedings of the Third International Conference on Principles and Practice of Constraint Programming
Ordering Constraints over Feature Trees
(pdf)
Martin Müller, Joachim Niehren, Andreas Podelski
Proceedings of the Third International Conference on Principles and Practice of Constraint Programming
Extending a Concurrent Constraint Language by Propagators
(pdf)
Tobias Müller, Jörg Würtz
Proceedings of the International Logic Programming Symposium
Finite Set Constraints in Oz
(pdf)
Tobias Müller, Martin Müller
13. Workshop Logische Programmierung
An Overview of the Design of Distributed Oz
(pdf)
Seif Haridi, Peter Van Roy, Gert Smolka
Proceedings of the Second International Symposium on Parallel Symbolic Computation (PASCO '97)
Mobile Objects in Distributed Oz
(pdf)
Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer
ACM Transactions on Programming Languages and Systems
Set-based Error Diagnosis of Concurrent Constraint Programs
(pdf)
Andreas Podelski, Witold Charatonik, Martin Müller
Technical Report, \URL\tt http://www.ps.uni-sb.de/Paper/abstracts/Diagnosis-97.html. Submitted.
A Parallel Abstract Machine for the Thread-Based Concurrent Constraint Language Oz
(pdf)
Konstantin Popov
Workshop On Parallism and Implementation Technology for (Constraint) Logic Programming Languages
Using Oz for College Time Tabling
(pdf)
Martin Henz, Jörg Würtz
The Practice and Theory of Automated Time Tabling: The Selected Proceedings of the 1st International Conference
on the Practice and Theory of Automated Time Tabling, Edinburgh 1995
Functional Computation as Concurrent Computation
(pdf)
Joachim Niehren
$23^th$ Proceedings of the ACM Symposium on Principles of Programming Languages
Feature Trees over Arbitrary Structures
(pdf)
Ralf Treinen
Specifying Syntactic Structures
Tuning local search for satisfiability testing
(pdf)
A.J. Parkes, Joachim Paul Walser
Proceedings of the thirteenth national conference on artificial intelligence (AAAI '96)
Feasible Cellular Frequency Assignment Using Constraint Programming Abstractions
(pdf)
Joachim Paul Walser
Proceedings of the Workshop on Constraint Programming Applications,
in conjunction with the Second International
Conference on Principles and Practi
Don't Be Puzzled!
(pdf)
Martin Henz
Proceedings of the Workshop on Constraint Programming Applications,
in conjunction with the Second International
Conference on Principles and Practi
Smallest Horn Clause Programs
(pdf)
P. Devienne, P. Lebegue, A. Parrain, J.C. Routier, Jörg Würtz
Journal of Logic Programming
Constructive Disjunction Revisited
(pdf)
Jörg Würtz, Tobias Müller
20th German Annual Conference on Artificial Intelligence
Constraint-based Time Tabling---A Case Study
Martin Henz, Jörg Würtz
Applied Artificial Intelligence
Integrating Efficient Records into Concurrent Constraint Programming
(pdf)
Peter Van Roy, Michael Mehl, Ralf Scheidhauer
International Symposium on Programming Languages, Implementations, Logics, and Programs
COMPOzE --- Intention-based Music Composition through Constraint Programming
(pdf)
Martin Henz, Stefan Lauer, Detlev Zimmermann
Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence
Oz Scheduler: A Workbench for Scheduling Problems
(pdf)
Jörg Würtz
Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence
Interfacing Propagators with a Concurrent Constraint Language
(pdf)
Tobias Müller, Jörg Würtz
JICSLP96 Post-conference workshop and Compulog Net Meeting on Parallelism and Implementation Technology
for (Constraint) Logic Programming Languages
Oz: Nebenläufige Programmierung mit Constraints
(pdf)
Martin Müller, Gert Smolka
KI - Künstliche Intelligenz
Problem Solving with Constraints and Programming
(pdf)
Gert Smolka
ACM Computing Surveys
Definition und Implementierung eines Front-End-Generators für Oz
(pdf)
Leif Kornstaedt
Master's Thesis
Functional Computation as Concurrent Computation
(pdf)
Joachim Niehren
Technical Report, shorter version appeared in: \em Proceedings of POPL'96\/, The ACM Press
Adding Constraint Systems to DFKI Oz
(pdf)
Tobias Müller
WOz'95, International Workshop on Oz Programming
Multi-Paradigm Programming in Oz
(pdf)
Martin Müller, Tobias Müller, Peter Van Roy
Visions for the Future of Logic Programming: Laying the Foundations for a Modern successor of Prolog
Constructive Disjunction in Oz
(pdf)
Tobias Müller, Jörg Würtz
11. Workshop Logische Programmierung
The Oz Programming Model
(pdf)
Gert Smolka
Computer Science Today
A Type is a Type is a Type
(pdf)
Martin Müller, Joachim Niehren
Joint COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic for Natural Language Processing
Constraints for Free in Concurrent Computation
(pdf)
Martin Müller, Joachim Niehren
Asian Computing Science Conference
Operational Semantics of Constraint Logic Programs with Coroutining
(pdf)
Andreas Podelski, Gert Smolka
Proceedings of the 1995 International Conference on Logic Programming
Constraint Deduction in an Interval-based Temporal Logic
(pdf)
Jana Koehler, Ralf Treinen
Executable Modal and Temporal Logics
An Abstract Machine for Oz
(pdf)
Michael Mehl, Ralf Scheidhauer, Christian Schulte
Technical Report, Also in: \em Proceedings of PLILP'95\/, Springer-Verlag, LNCS, Utrecht, The Netherlands
Object-Oriented Concurrent Constraint Programming in Oz
(pdf)
Gert Smolka, Martin Henz, Jörg Würtz
Principles and Practice of Constraint Programming
The Definition of Kernel Oz
(pdf)
Gert Smolka
Constraints: Basics and Trends
A Complete and Recursive Feature Theory
(pdf)
Rolf Backofen, Gert Smolka
Theoretical Computer Science
Situated Simplification
(pdf)
Andreas Podelski, Gert Smolka
Proceedings of the 1st Conference on Principles and Practice of Constraint Programming
A Constraint-Based Recast of ML-Polymorphism
(pdf)
Martin Müller
8$^th$ # International Workshop on Unification
1983-1993: The Wonder Years of Sequential Prolog Implementation
(pdf)
Peter Van Roy
Journal of Logic Programming
Towards the verification of concurrent constraint programs in finite domain reasoning
(pdf)
Jörg Würtz
Post-conference workshop at ICLP: Verification and analysis of (concurrent) logic languages
One binary Horn clause is enough
(pdf)
P. Devienne, P. Lebegue, J.C. Routier, Jörg Würtz
Symposium on Theoretical Aspects of Computer Science
How to Win a Game with Features
(pdf)
Rolf Backofen, Ralf Treinen
1st International Conference on Constraints in Computational Logics
A Foundation for Higher-order Concurrent Constraint Programming
(pdf)
Gert Smolka
1st International Conference on Constraints in Computational Logics
Encapsulated Search in Higher-order Concurrent Constraint Programming
(pdf)
Christian Schulte, Gert Smolka
Logic Programming: Proceedings of the 1994 International Symposium
Encapsulated Search and Constraint Programming in Oz
(pdf)
Christian Schulte, Gert Smolka, Jörg Würtz
Second Workshop on Principles and Practice of Constraint Programming
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
(pdf)
Joachim Niehren
PhD Thesis, Universität des Saarlandes, Fachbereich Informatik
A Calculus for Higher-Order Concurrent Constraint Programming with Deep Guards
(pdf)
Gert Smolka
Technical Report
A Confluent Relational Calculus for Higher-Order Programming with Constraints
(pdf)
Joachim Niehren, Gert Smolka
1st International Conference on Constraints in Computational Logics
Ordering Constraints on Trees
(pdf)
Hubert Comon, Ralf Treinen
Colloquium on Trees in Algebra and Programming
Records for Logic Programming
(pdf)
Gert Smolka, Ralf Treinen
Journal of Logic Programming
A Feature-based Constraint System for Logic Programming with Entailment
(pdf)
Hassan Aït-Kaci, Andreas Podelski, Gert Smolka
Theoretical Computer Science
Polymorphic Type Inference for Object-Oriented Programming Languages
(pdf)
Andreas V. Hense
PhD Thesis, Saarland University
Expressivity and Decidability of First-order Languages over Feature Trees
(pdf)
Rolf Backofen
PhD Thesis, Universität des Saarlandes
Feature Automata and Recognizable Sets of Feature Trees
(pdf)
Joachim Niehren, Andreas Podelski
Theory and Practice of Software Development, International Joint Conference CAAP/FASE/TOOLS
Residuation and Guarded Rules for Constraint Logic Programming
(pdf)
Gert Smolka
Constraint Logic Programming: Selected Research
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
(pdf)
Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka
Journal of Logic, Language and Information
Equational and Membership Constraints for Infinite Trees
(pdf)
Joachim Niehren, Andreas Podelski, Ralf Treinen
5th International Conference on Rewriting Techniques and Applications
Satisfiability of the smallest binary program
(pdf)
Philipp Hanschke, Jörg Würtz
Information Processing Letters
Feature Constraints with First-Class Features
(pdf)
Ralf Treinen
Mathematical Foundations of Computer Science
Oz---A Programming Language for Multi-Agent Systems
(pdf)
Martin Henz, Gert Smolka, Jörg Würtz
13th International Joint Conference on Artificial Intelligence
A New Method for Undecidability Proofs of First Order Theories
(pdf)
Ralf Treinen
Journal of Symbolic Computation
Feature Constraint Logics for Unification Grammars
(pdf)
Gert Smolka
Journal of Logic Programming
Cycle Unification
(pdf)
Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz
11th International Conference on Automated Deduction
Unifying Cycles
(pdf)
Jörg Würtz
10th European Conference on Artificial Intelligence
Attributive concept descriptions with complements
(pdf)
Manfred Schmidt-Schauß, Gert Smolka
Artificial Intelligence
Nichtmonotone Aspekte des fallbasierten Schliessens und deren Fundierung in Default-Logik mit Prioritäten
(pdf)
Michael Mehl
Technical Report, Diploma Thesis, Universität Kaiserslautern, Fachbereich Informatik, 1991. In German.
Short Version \em Retrieval in Case-Based Reasoning using
preferred subtheories appeared in G. Brewka, K. P. Jantke
Attributive Description Formalisms and the Rest of the World
(pdf)
Bernhard Nebel, Gert Smolka
Text Understanding in LILOG
Term Rewriting in Associative Commutative Theories with Identities
(pdf)
Martin Henz
Master's Thesis, State University of New York at Stony Brook
First Order Data Types and First Order Logic
(pdf)
Ralf Treinen
Theoretical Aspects of Computer Software
Modulare Datentypdefinitionen und Ihre Beziehungen zur Logik erster Stufe
(pdf)
Ralf Treinen
PhD Thesis, Universität des Saarlandes, In german
Representation and Reasoning with Attributive Descriptions
(pdf)
Bernhard Nebel, Gert Smolka
Sorts and Types in Artificial Intelligence
Logic Programming over Polymorphically Order-Sorted Types
(pdf)
Gert Smolka
PhD Thesis, Fachbereich Informatik,Universität Kaiserslautern
TEL (Version 0.9), Report and User Manual
(pdf)
Gert Smolka
Technical Report
Definite Relations over Constraint Languages
(pdf)
Markus Höhfeld, Gert Smolka
Technical Report
A Feature Logic with Subsorts
(pdf)
Gert Smolka
Technical Report, To appear in: J. Wedekind and C. Rohrer (eds.), Unification in Grammar; The MIT Press, 1991