| Publication | Date of Publication | Type |
|---|
Aspects of harmonic analysis on locally compact abelian groups
Mathematical Foundations for Computer Vision, Machine Learning, and Robotics | 2024-09-10 | Paper |
| 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
Geometry and Computing | 2020-08-12 | Paper |
Differential geometry and Lie groups. A computational perspective
Geometry and Computing | 2020-06-23 | Paper |
| Linear algebra and optimization with applications to machine learning. Volume II: Fundamentals of optimization theory with applications to machine learning | 2020-02-07 | Paper |
| Linear Algebra and Optimization with Applications to Machine Learning | 2019-12-11 | Paper |
| scientific article; zbMATH DE number 6490089 (Why is no real title available?) | 2015-10-06 | Paper |
Parametric pseudo-manifolds
Differential Geometry and its Applications | 2013-01-16 | Paper |
A guide to the classification theorem for compact surfaces
Geometry and Computing | 2012-12-03 | Paper |
Geometric methods and applications. For computer science and engineering
Texts in Applied Mathematics | 2011-05-20 | Paper |
Discrete mathematics
Universitext | 2011-01-31 | Paper |
Deterministic finite automata with recursive calls and DPDAs
Information Processing Letters | 2009-04-28 | Paper |
Topological Repairing of 3D Digital Images
Journal of Mathematical Imaging and Vision | 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
Logical Methods in Computer Science | 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
International Journal of Computational Geometry & Applications | 2005-05-03 | Paper |
| Curves and surfaces in geometric modeling. Theory and algorithms | 2001-06-06 | Paper |
| scientific article; zbMATH DE number 1544763 (Why is no real title available?) | 2000-12-19 | Paper |
Typing untyped \(\lambda\)-terms, or reducibility strikes again!
Annals of Pure and Applied Logic | 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
Annals of Pure and Applied Logic | 1998-10-01 | Paper |
Kripke models and the (in)equational logic of the second-order \(\lambda\)-calculus
Annals of Pure and Applied Logic | 1997-06-16 | Paper |
Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves
Theoretical Computer Science | 1997-02-28 | Paper |
Theorem proving using equational matings and rigid E -unification
Journal of the ACM | 1994-11-13 | Paper |
| scientific article; zbMATH DE number 475429 (Why is no real title available?) | 1994-10-31 | Paper |
Polymorphic rewriting conserves algebraic confluence
Information and Computation | 1994-10-12 | Paper |
An algorithm for finding canonical sets of ground rewrite rules in polynomial time
Journal of the ACM | 1993-05-16 | Paper |
Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi
Theoretical Computer Science | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 65745 (Why is no real title available?) | 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
Annals of Pure and Applied Logic | 1992-06-28 | Paper |
Polymorphic rewriting conserves algebraic strong normalization
Theoretical Computer Science | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 8800 (Why is no real title available?) | 1992-06-25 | Paper |
Rigid E-unification: NP-completeness and applications to equational matings
Information and Computation | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4124996 (Why is no real title available?) | 1989-01-01 | Paper |
Extending SLD resolution to equational horn clauses using E-unification
The Journal of Logic Programming | 1989-01-01 | Paper |
Complete sets of transformations for general E-unification
Theoretical Computer Science | 1989-01-01 | Paper |
Higher-order unification revisited: Complete sets of transformations
Journal of Symbolic Computation | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4080962 (Why is no real title available?) | 1988-01-01 | Paper |
HORNLOG: A graph-based interpreter for general Horn clauses
The Journal of Logic Programming | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4045129 (Why is no real title available?) | 1987-01-01 | Paper |
Building exact computation sequences
Theoretical Computer Science | 1987-01-01 | Paper |
Fast algorithms for testing unsatisfiability of ground Horn clauses with equations
Journal of Symbolic Computation | 1987-01-01 | Paper |
Decidable subcases of the equivalence problem for recursive program schemes
RAIRO - Theoretical Informatics and Applications | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3976991 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3978368 (Why is no real title available?) | 1986-01-01 | Paper |
Continuation semantics for flowgraph equations
Theoretical Computer Science | 1986-01-01 | Paper |
Reductions in tree replacement systems
Theoretical Computer Science | 1985-01-01 | Paper |
Tree pushdown automata
Journal of Computer and System Sciences | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3924111 (Why is no real title available?) | 1985-01-01 | Paper |
Linear-time algorithms for testing the satisfiability of propositional horn formulae
The Journal of Logic Programming | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3869406 (Why is no real title available?) | 1984-01-01 | Paper |
n-Rational Algebras II. Varieties and Logic of inequalities
SIAM Journal on Computing | 1984-01-01 | Paper |
n-Rational Algebras I. Basic Properties and Free Algebras
SIAM Journal on Computing | 1984-01-01 | Paper |
Corrigendum to ``DPDA's in ``atomic normal form and applications to equivalence problems
Theoretical Computer Science | 1982-01-01 | Paper |
Corrigendum to ``DPDA's in `atomic normal form' and applications to equivalence problems
Theoretical Computer Science | 1982-01-01 | Paper |
DPDA's in 'Atomic normal form' and applications to equivalence problems
Theoretical Computer Science | 1981-01-01 | Paper |
Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I
Theoretical Computer Science | 1981-01-01 | Paper |
Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II
Theoretical Computer Science | 1981-01-01 | Paper |
Recursion-closed algebraic theories
Journal of Computer and System Sciences | 1981-01-01 | Paper |
On the existence of optimal fixpoints
Mathematical Systems Theory | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3637271 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3594620 (Why is no real title available?) | 1978-01-01 | Paper |
