Ralf Socher

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Boolean algebra admits no convergent term rewriting system Rewriting Techniques and Applications	2022-12-09	Paper
Solving simplification ordering constraints Constraints in Computational Logics	2022-08-16	Paper
Mathematics for computer scientists. Discrete mathematics, linear algebra and probability theory	2022-07-27	Paper
A refined version of general \(E\)-unification Automated Deduction — CADE-12	2020-01-21	Paper
Algebra for computer scientists. With applications in cryptography and coding theory	2016-02-04	Paper
Theoretical foundations of computer science	2016-02-04	Paper
scientific article; zbMATH DE number 5833569 (Why is no real title available?)	2011-01-07	Paper
scientific article; zbMATH DE number 1191725 (Why is no real title available?)	1998-08-18	Paper
scientific article; zbMATH DE number 976352 (Why is no real title available?)	1997-02-05	Paper
scientific article; zbMATH DE number 726582 (Why is no real title available?)	1995-02-22	Paper
scientific article; zbMATH DE number 517007 (Why is no real title available?)	1994-04-17	Paper
How to avoid the derivation of redundant clauses in reasoning systems Journal of Automated Reasoning	1993-12-10	Paper
scientific article; zbMATH DE number 8781 (Why is no real title available?)	1992-06-25	Paper
Optimizing the clausal normal form transformation Journal of Automated Reasoning	1991-01-01	Paper
On the relation between resolution based and completion based theorem proving Journal of Symbolic Computation	1991-01-01	Paper
scientific article; zbMATH DE number 4164189 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4072424 (Why is no real title available?)	1988-01-01	Paper

Research outcomes over time

This page was built for person: Ralf Socher