Jürgen Stuber

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
Inductive theorem proving by consistency for first-order clauses Conditional Term Rewriting Systems	2023-03-09	Paper
Superposition theorem proving for abelian groups represented as integer modules Rewriting Techniques and Applications	2022-12-09	Paper
Superposition with equivalence reasoning and delayed clause normal form transformation. Lecture Notes in Computer Science	2010-04-20	Paper
Superposition with equivalence reasoning and delayed clause normal form transformation Information and Computation	2005-08-05	Paper
The complexity of linear and stratified context matching problems Theory of Computing Systems	2005-02-24	Paper
scientific article; zbMATH DE number 1765670 (Why is no real title available?)	2002-07-10	Paper
Superposition theorem proving for commutative rings	2001-10-21	Paper
scientific article; zbMATH DE number 1615241 (Why is no real title available?)	2001-07-08	Paper
scientific article; zbMATH DE number 1405624 (Why is no real title available?)	2000-02-23	Paper
Superposition theorem proving for abelian groups represented as integer modules Theoretical Computer Science	1999-01-12	Paper

Research outcomes over time

This page was built for person: Jürgen Stuber