Modular termination of basic narrowing and equational unification*.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 6, p. 731, doi. 10.1093/jigpal/jzq009
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2011 AND VI 19 AND IP 6
Results: 8
1
2
First-order unification using variable-free relational algebra *.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 6, p. 790, doi. 10.1093/jigpal/jzq011
- By:
- Publication type:
- Article
3
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 6, p. 897, doi. 10.1093/jigpal/jzr042
- Publication type:
- Article
4
Soundness and principal contexts for a shallow polymorphic type system based on classical logic.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 6, p. 848, doi. 10.1093/jigpal/jzq013
- By:
- Publication type:
- Article
5
On the complexity of Bounded Second-Order Unification and Stratified Context Unification.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 6, p. 763, doi. 10.1093/jigpal/jzq010
- By:
- Publication type:
- Article
6
Unification in modal and description logics.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 6, p. 705, doi. 10.1093/jigpal/jzq008
- By:
- Publication type:
- Article
7
Foreword.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 6, p. 703, doi. 10.1093/jigpal/jzq007
- By:
- Publication type:
- Article
8
Unification neural networks: unification by error-correction learning.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 6, p. 821, doi. 10.1093/jigpal/jzq012
- By:
- Publication type:
- Article