Works matching IS 13670751 AND DT 2003 AND VI 11 AND IP 1
Results: 4
Building Infinite Models for Equational Clause Sets: Constructing Non-Ambiguous Formulae.
- Published in:
- Logic Journal of the IGPL, 2003, v. 11, n. 1, p. 97, doi. 10.1093/jigpal/11.1.97
- By:
- Publication type:
- Article
Bridges between Classical and Nonmonotonic Logic.
- Published in:
- Logic Journal of the IGPL, 2003, v. 11, n. 1, p. 69, doi. 10.1093/jigpal/11.1.69
- By:
- Publication type:
- Article
Higher Order β Matching is Undecidable.
- Published in:
- Logic Journal of the IGPL, 2003, v. 11, n. 1, p. 51, doi. 10.1093/jigpal/11.1.51
- By:
- Publication type:
- Article
On Uniformly Constructive and Semiconstructive Formal Systems.
- Published in:
- Logic Journal of the IGPL, 2003, v. 11, n. 1, p. 1, doi. 10.1093/jigpal/11.1.1
- By:
- Publication type:
- Article