Conferences.
- Published in:
- 1999
- By:
- Publication type:
- Abstract
Works matching IS 13670751 AND DT 1999 AND VI 7 AND IP 3
Results: 8
1
2
Model checking lattices: using and reasoning about information orders for abstraction.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 3, p. 375, doi. 10.1093/jigpal/7.3.375
- By:
- Publication type:
- Article
3
Is there a logic for polynomial time?
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 3, p. 359, doi. 10.1093/jigpal/7.3.359
- By:
- Publication type:
- Article
4
Variable compactness in 1-order logic.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 3, p. 327, doi. 10.1093/jigpal/7.3.327
- By:
- Publication type:
- Article
5
A deterministic terminating sequent calculus for Gödel-Dummett logic.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 3, p. 319, doi. 10.1093/jigpal/7.3.319
- By:
- Publication type:
- Article
6
Labelled natural deduction for substructural logics.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 3, p. 283, doi. 10.1093/jigpal/7.3.283
- By:
- Publication type:
- Article
7
Weak continuity properties in constructive analysis.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 3, p. 277, doi. 10.1093/jigpal/7.3.277
- By:
- Publication type:
- Article
8
Editorial. New revolutionary publication policy.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 3, p. 276, doi. 10.1093/jigpal/7.3.276
- By:
- Publication type:
- Article