Ralf Socher

From MaRDI portal
Person:688550

Available identifiers

zbMath Open socher.rolfMaRDI QIDQ688550

List of research outcomes





PublicationDate of PublicationType
Boolean algebra admits no convergent term rewriting system2022-12-09Paper
Solving simplification ordering constraints2022-08-16Paper
https://portal.mardi4nfdi.de/entity/Q50917102022-07-27Paper
A refined version of general E-unification2020-01-21Paper
https://portal.mardi4nfdi.de/entity/Q34678232016-02-04Paper
https://portal.mardi4nfdi.de/entity/Q34678222016-02-04Paper
https://portal.mardi4nfdi.de/entity/Q30658862011-01-07Paper
https://portal.mardi4nfdi.de/entity/Q38426541998-08-18Paper
https://portal.mardi4nfdi.de/entity/Q43317571997-02-05Paper
https://portal.mardi4nfdi.de/entity/Q43238941995-02-22Paper
https://portal.mardi4nfdi.de/entity/Q42825301994-04-17Paper
How to avoid the derivation of redundant clauses in reasoning systems1993-12-10Paper
https://portal.mardi4nfdi.de/entity/Q39712691992-06-25Paper
Optimizing the clausal normal form transformation1991-01-01Paper
On the relation between resolution based and completion based theorem proving1991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34910111989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38042261988-01-01Paper

Research outcomes over time

This page was built for person: Ralf Socher

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:688550&oldid=10880520"
Powered by MediaWiki