Inductive Decidability Using Implicit Induction

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/11916277_4 ◽

2006 ◽

pp. 45-59 ◽

Cited By ~ 7

Author(s):

Stephan Falke ◽

Deepak Kapur

Download Full-text