Maslov's inverse method and decidable classes
- 22 April 1989
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 42 (2) , 165-194
- https://doi.org/10.1016/0168-0072(89)90053-5
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Resolution Strategies as Decision ProceduresJournal of the ACM, 1976