A fixed point semantics for logic programs extended with cuts

Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)238-257
Number of pages20
JournalLogic Based Program Synthesis and Transformation, LOPSTR 2002
Volume2664
Publication statusPublished - 2003

Cite this

@article{d59094fd04c14c06a6666e3e297cafa2,
title = "A fixed point semantics for logic programs extended with cuts",
author = "Wim Vanhoof and Remko Tron{\cc}on and Maurice Bruynooghe",
year = "2003",
language = "English",
volume = "2664",
pages = "238--257",
journal = "Logic Based Program Synthesis and Transformation, LOPSTR 2002",

}

A fixed point semantics for logic programs extended with cuts. / Vanhoof, Wim; Tronçon, Remko; Bruynooghe, Maurice.

In: Logic Based Program Synthesis and Transformation, LOPSTR 2002 , Vol. 2664, 2003, p. 238-257.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A fixed point semantics for logic programs extended with cuts

AU - Vanhoof, Wim

AU - Tronçon, Remko

AU - Bruynooghe, Maurice

PY - 2003

Y1 - 2003

M3 - Article

VL - 2664

SP - 238

EP - 257

JO - Logic Based Program Synthesis and Transformation, LOPSTR 2002

JF - Logic Based Program Synthesis and Transformation, LOPSTR 2002

ER -