Jürgen Stuber

Available identifiers

zbMath Open stuber.jurgenMaRDI QIDQ1275019

List of research outcomes

Publication	Date of Publication	Type
Inductive theorem proving by consistency for first-order clauses	2023-03-09	Paper
Superposition theorem proving for abelian groups represented as integer modules	2022-12-09	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
Superposition with equivalence reasoning and delayed clause normal form transformation	2005-08-05	Paper
The complexity of linear and stratified context matching problems	2005-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q4539606	2002-07-10	Paper
Superposition theorem proving for commutative rings	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q2723903	2001-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4938603	2000-02-23	Paper
Superposition theorem proving for abelian groups represented as integer modules	1999-01-12	Paper

Research outcomes over time

This page was built for person: Jürgen Stuber