Title of article
A necessary condition for Constructive Negation in Constraint Logic Programming
Author/Authors
Agostino Dovier، نويسنده , , Enrico Pontelli، نويسنده , , Gianfranco Rossi، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2000
Pages
10
From page
147
To page
156
Keywords
Automatic theorem proving , programming languages , Formal semantics , constraint logic programming , negation
Journal title
Information Processing Letters
Serial Year
2000
Journal title
Information Processing Letters
Record number
129221
Link To Document