×

Found 5 Documents (Results 1–5)

Entailment and disentailment of order-sorted feature constraints. (English) Zbl 0793.68022

Voronkov, Andrei (ed.), Logic programming and automated reasoning. 4th international conference, LPAR ’93, St. Petersburg, Russia, July 13-20, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 698, 1-18 (1993).
MSC:  68N17 03B47
PDFBibTeX XMLCite

A feature-based constraint system for logic programming with entailment. (English) Zbl 0862.68024

Institute for New Generation Computer Technology (ed.), 5th generation computer systems 1992. International conference, FGCS ’92. Japan 1992, Vol. 2. Amsterdam: IOS Press. 1012-1021 (1992).
MSC:  68N17
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

Main Field

Software