| Publication | Date of Publication | Type |
|---|
| Homology, Cohomology, and Sheaf Cohomology for Algebraic Topology, Algebraic Geometry, and Differential Geometry | 2021-08-10 | Paper |
| Differential geometry and Lie groups. A second course | 2020-08-12 | Paper |
| Differential geometry and Lie groups. A computational perspective | 2020-06-23 | Paper |
| Linear Algebra and Optimization with Applications to Machine Learning | 2020-02-07 | Paper |
| Linear Algebra and Optimization with Applications to Machine Learning | 2019-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2948795 | 2015-10-06 | Paper |
| Parametric pseudo-manifolds | 2013-01-16 | Paper |
| A guide to the classification theorem for compact surfaces | 2012-12-03 | Paper |
| Geometric Methods and Applications | 2011-05-20 | Paper |
| Discrete mathematics | 2011-01-31 | Paper |
| Deterministic finite automata with recursive calls and DPDAs | 2009-04-28 | Paper |
| Topological Repairing of 3D Digital Images | 2009-03-31 | Paper |
| Notes on Convex Sets, Polytopes, Polyhedra, Combinatorial Topology, Voronoi Diagrams and Delaunay Triangulations | 2008-05-02 | Paper |
| The Completeness of Propositional Resolution: A Simple and Constructive Proof | 2007-10-11 | Paper |
| Remarks on the Cayley Representation of Orthogonal Matrices and on Perturbing the Diagonal of a Matrix to Make it Invertible | 2006-06-13 | Paper |
| CONSTRAINED QUADRILATERAL MESHES OF BOUNDED SIZE | 2005-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2716084 | 2001-06-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520913 | 2000-12-19 | Paper |
| Typing untyped \(\lambda\)-terms, or reducibility strikes again! | 2000-02-15 | Paper |
| Erratum to ``What's so special about Kruskal's theorem and the ordinal \(\Gamma_0\)? A survey of some results in proof theory | 1998-10-01 | Paper |
| Kripke models and the (in)equational logic of the second-order \(\lambda\)-calculus | 1997-06-16 | Paper |
| Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves | 1997-02-28 | Paper |
| Theorem proving using equational matings and rigid E -unification | 1994-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273676 | 1994-10-31 | Paper |
| Polymorphic rewriting conserves algebraic confluence | 1994-10-12 | Paper |
| Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi | 1993-05-16 | Paper |
| An algorithm for finding canonical sets of ground rewrite rules in polynomial time | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4010356 | 1992-09-27 | Paper |
| What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory | 1992-06-28 | Paper |
| Polymorphic rewriting conserves algebraic strong normalization | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3971290 | 1992-06-25 | Paper |
| Rigid E-unification: NP-completeness and applications to equational matings | 1990-01-01 | Paper |
| Complete sets of transformations for general E-unification | 1989-01-01 | Paper |
| Higher-order unification revisited: Complete sets of transformations | 1989-01-01 | Paper |
| Extending SLD resolution to equational horn clauses using E-unification | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4205074 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3811749 | 1988-01-01 | Paper |
| Building exact computation sequences | 1987-01-01 | Paper |
| Fast algorithms for testing unsatisfiability of ground Horn clauses with equations | 1987-01-01 | Paper |
| Decidable subcases of the equivalence problem for recursive program schemes | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3782762 | 1987-01-01 | Paper |
| HORNLOG: A graph-based interpreter for general Horn clauses | 1987-01-01 | Paper |
| Continuation semantics for flowgraph equations | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3742704 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3743300 | 1986-01-01 | Paper |
| Tree pushdown automata | 1985-01-01 | Paper |
| Reductions in tree replacement systems | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3698288 | 1985-01-01 | Paper |
| n-Rational Algebras I. Basic Properties and Free Algebras | 1984-01-01 | Paper |
| n-Rational Algebras II. Varieties and Logic of inequalities | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3337523 | 1984-01-01 | Paper |
| Linear-time algorithms for testing the satisfiability of propositional horn formulae | 1984-01-01 | Paper |
| Corrigendum to ``DPDA's in ``atomic normal form and applications to equivalence problems | 1982-01-01 | Paper |
| Corrigendum to ``DPDA's in `atomic normal form' and applications to equivalence problems | 1982-01-01 | Paper |
| Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I | 1981-01-01 | Paper |
| Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II | 1981-01-01 | Paper |
| Recursion-closed algebraic theories | 1981-01-01 | Paper |
| DPDA's in 'Atomic normal form' and applications to equivalence problems | 1981-01-01 | Paper |
| On the existence of optimal fixpoints | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4197330 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4160373 | 1978-01-01 | Paper |
