Found 3 Documents (Results 1–3)
Clausal intuitionistic logic. I: Fixed-point semantics. (English) Zbl 0645.03006
Reviewer: A.Leitsch
Filter Results by …
Author
- Falaschi, Moreno (1)
- Levi, Giorgio (1)
- McCarty, L. Thorne (1)
- McLarty, Colin (1)
- Palamidessi, Catuscia (1)
Serial
- Inf. Control (1)
- J. Log. Program. (1)
- Diagrammes (1)