Found: 8
Select item for more details and to access through your institution.
The abstract state machines method for mular design and analysis of pogramming languages.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 2, p. 417, doi. 10.1093/logcom/exu077
- By:
- Publication type:
- Article
BDI: a new decidable clause class.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 2, p. 441, doi. 10.1093/logcom/exu074
- By:
- Publication type:
- Article
KBOs, ordinals, subrecursive hierarchies and all that.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 2, p. 469, doi. 10.1093/logcom/exu072
- By:
- Publication type:
- Article
Faulty sets of Boolean formulas and Łukasiewicz logic.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 2, p. 497, doi. 10.1093/logcom/exu073
- By:
- Publication type:
- Article
Theorem proving for classical logic with partial functions by reduction to Kleene logic.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 2, p. 509, doi. 10.1093/logcom/exu071
- By:
- Publication type:
- Article
A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 2, p. 549, doi. 10.1093/logcom/exu078
- By:
- Publication type:
- Article
Reducing redundancy in cut-elimination by resolution.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 2, p. 577, doi. 10.1093/logcom/exu075
- By:
- Publication type:
- Article
Preface.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 2, p. 607, doi. 10.1093/logcom/exu076
- By:
- Publication type:
- Article