Rolf Socher-Ambrosius

Available identifiers

zbMath Open socher.rolfMaRDI QIDQ688550

List of research outcomes

Publication	Date of Publication	Type
Boolean algebra admits no convergent term rewriting system	2022-12-09	Paper
Solving simplification ordering constraints	2022-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q5091710	2022-07-27	Paper
A refined version of general E-unification	2020-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q3467822	2016-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q3467823	2016-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q3065886	2011-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q3842654	1998-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4331757	1997-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4323894	1995-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q4282530	1994-04-17	Paper
How to avoid the derivation of redundant clauses in reasoning systems	1993-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q3971269	1992-06-25	Paper
On the relation between resolution based and completion based theorem proving	1991-01-01	Paper
Optimizing the clausal normal form transformation	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3491011	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3804226	1988-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: Rolf Socher-Ambrosius