Inductive Decidability Using Implicit Induction

DOI10.1007/11916277_4zbMath1165.03313OpenAlexW1543930431MaRDI QIDQ5387883

Stephan Falke, Deepak Kapur

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11916277_4

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items

On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs, Deciding the Inductive Validity of ∀ ∃ * Queries

Uses Software

• BLAST