Výsledky vyhledávání - "Foundations of Logic Programming. Keywords"

True Equality Constraints Over An Open Universe Of Terms

Autoři: Jan A. Plaza The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jan A. Plaza The Pennsylvania State University CiteSeerX Archives

Zdroj: http://faculty.plattsburgh.edu/jan.plaza/research/lp/papers/06A-equality.ps.

Témata: Area, Foundations of Logic Programming. Keywords, constraint logic programming, Herbrand models, equality, completeness, decidability

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.7116

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.7116
http://faculty.plattsburgh.edu/jan.plaza/research/lp/papers/06A-equality.ps