Found: 8
Select item for more details and to access through your institution.
Books Received.
- Published in:
- Journal of Logic & Computation, 1997, v. 7, n. 2, p. 305, doi. 10.1093/logcom/7.2.305
- Publication type:
- Article
Modal Deduction in Second-Order Logic and Set Theory—I.
- Published in:
- Journal of Logic & Computation, 1997, v. 7, n. 2, p. 251, doi. 10.1093/logcom/7.2.251
- By:
- Publication type:
- Article
Reading Between the Lines in Constructive Type Theory.
- Published in:
- Journal of Logic & Computation, 1997, v. 7, n. 2, p. 229, doi. 10.1093/logcom/7.2.229
- By:
- Publication type:
- Article
Forthcoming Papers.
- Published in:
- Journal of Logic & Computation, 1997, v. 7, n. 2, p. 306, doi. 10.1093/logcom/7.2.306
- Publication type:
- Article
The Generalized Logic of Only Knowing (GOL) that Covers the Notion of Epistemic Specifications.
- Published in:
- Journal of Logic & Computation, 1997, v. 7, n. 2, p. 159, doi. 10.1093/logcom/7.2.159
- By:
- Publication type:
- Article
Verification of Meta-interpreters.
- Published in:
- Journal of Logic & Computation, 1997, v. 7, n. 2, p. 267, doi. 10.1093/logcom/7.2.267
- By:
- Publication type:
- Article
Mechanizing Coinduction and Corecursion in Higher-order Logic.
- Published in:
- Journal of Logic & Computation, 1997, v. 7, n. 2, p. 175, doi. 10.1093/logcom/7.2.175
- By:
- Publication type:
- Article
Existential Least Fixed-Point Logic and Its Relatives.
- Published in:
- Journal of Logic & Computation, 1997, v. 7, n. 2, p. 205, doi. 10.1093/logcom/7.2.205
- By:
- Publication type:
- Article