Partiality and games: propositional logic.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 1, p. 123, doi. 10.1093/jigpal/9.1.123
- Publication type:
- Article
Works matching IS 13670751 AND DT 2001 AND VI 9 AND IP 1
Results: 7
1
2
Partiality and games: propositional logic.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 1, p. 101, doi. 10.1093/jigpal/9.1.101
- By:
- Publication type:
- Article
3
Theorem proving for untyped constructive λ-calculus: implementation and application.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 1, p. 83, doi. 10.1093/jigpal/9.1.83
- By:
- Publication type:
- Article
4
Products, or how to create modal logics of high complexity.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 1, p. 71, doi. 10.1093/jigpal/9.1.71
- By:
- Publication type:
- Article
5
Congruence classes with logic variables.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 1, p. 53, doi. 10.1093/jigpal/9.1.53
- By:
- Publication type:
- Article
6
Completeness of bisimilarity for contextual equivalence in linear theories.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 1, p. 27, doi. 10.1093/jigpal/9.1.27
- By:
- Publication type:
- Article
7
How to avoid the formal verification of a theorem prover.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 1, p. 1, doi. 10.1093/jigpal/9.1.1
- By:
- Publication type:
- Article