Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97).
- Published in:
- 1997
- By:
- Publication type:
- Conference Paper/Materials
Works matching IS 13670751 AND DT 1997 AND VI 5 AND IP 6
Results: 5
1
2
Review: Temporal Logic: Mathematical Foundations and Computational Aspects D. M. Gabbay, Antony Galton.
- Published in:
- 1997
- Publication type:
- Book Review
3
Well-founded Relations in Type Theory.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 6, p. 811, doi. 10.1093/jigpal/5.6.811
- By:
- Publication type:
- Article
4
The Carcinogenic Example.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 6, p. 795, doi. 10.1093/jigpal/5.6.795
- By:
- Publication type:
- Article
5
Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 6, p. 787, doi. 10.1093/jigpal/5.6.787
- By:
- Publication type:
- Article