A fixed point semantics for logic programs extended with cuts

Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Empreinte digitale

Examiner les sujets de recherche de « A fixed point semantics for logic programs extended with cuts ». Ensemble, ils forment une empreinte digitale unique.

Computer Science