Harald Ganzinger

Available identifiers

zbMath Open ganzinger.haraldWikidataQ92690 ScholiaQ92690MaRDI QIDQ758210

List of research outcomes

Publication	Date of Publication	Type
Inductive theorem proving by consistency for first-order clauses	2023-03-09	Paper
Termination proofs of well-moded logic programs via conditional rewrite systems	2023-03-09	Paper
Completion of first-order clauses with equality by strict superposition	2023-03-09	Paper
Completion-time optimization of rewrite-time goal solving	2022-12-09	Paper
Buchberger's algorithm: A constraint-based completion procedure	2022-08-16	Paper
Ordered chaining for total orderings	2020-01-21	Paper
Soft typing for ordered resolution	2019-10-01	Paper
Theorem proving in cancellative abelian monoids (extended abstract)	2019-01-15	Paper
Automated complexity analysis based on ordered resolution	2015-09-20	Paper
RIGID REACHABILITY, THE NON-SYMMETRIC FORM OF RIGID E-UNIFICATION	2015-04-29	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
Theory Instantiation	2008-05-27	Paper
Automated Reasoning	2007-09-25	Paper
Modular proof systems for partial functions with Evans equality	2006-10-25	Paper
Computer Aided Verification	2005-08-25	Paper
Computer Science Logic	2005-08-22	Paper
Superposition with equivalence reasoning and delayed clause normal form transformation	2005-08-05	Paper
Ordered chaining calculi for first-order theories of transitive relations	2005-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q4818820	2004-09-24	Paper
Fast term indexing with coded context trees	2004-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4809070	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4809167	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4430317	2003-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q2751353	2002-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4539609	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4539638	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4529782	2002-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q4329239	2002-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q2762631	2002-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q4524792	2001-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q4938629	2000-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4249176	2000-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4249896	1999-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4249897	1999-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4255513	1999-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4246725	1999-07-29	Paper
Rewrite-based Equational Theorem Proving with Selection and Simplification	1994-09-12	Paper
Refutational theorem proving for hierarchic first-order theories	1994-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4282593	1994-04-17	Paper
Order-sorted completion: The many-sorted way	1992-06-26	Paper
A completion procedure for conditional equations	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3809250	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3817580	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3817656	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3753472	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3709856	1986-01-01	Paper
Increasing modularity and language-independency in automatically generated compilers	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3657407	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3660907	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3664415	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3670542	1983-01-01	Paper
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3668833	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3969854	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3048294	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3048295	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138064	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4094350	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4111086	1975-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Harald Ganzinger