Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference31 articles.
1. A schemata calculus for propositional logic,2009
2. A decidable class of nested iterated schemata,2010
3. Decidability and undecidability results for propositional schemata;Journal of Artificial Intelligence Research,2011
4. A resolution calculus for first-order schemata;Fundamenta Informaticae,2013