Finite and infinite computations of logic programs
Banach Center Publications (1988)
- Volume: 21, Issue: 1, page 299-313
- ISSN: 0137-6934
Access Full Article
top
How to cite
topM.-A. Nait Abdallah. "Finite and infinite computations of logic programs." Banach Center Publications 21.1 (1988): 299-313. <http://eudml.org/doc/268202>.
@article{M1988,
author = {M.-A. Nait Abdallah},
journal = {Banach Center Publications},
keywords = {Herbrand universe; Herbrand base; least fixpoint semantics of a logic program},
language = {eng},
number = {1},
pages = {299-313},
title = {Finite and infinite computations of logic programs},
url = {http://eudml.org/doc/268202},
volume = {21},
year = {1988},
}
TY - JOUR
AU - M.-A. Nait Abdallah
TI - Finite and infinite computations of logic programs
JO - Banach Center Publications
PY - 1988
VL - 21
IS - 1
SP - 299
EP - 313
LA - eng
KW - Herbrand universe; Herbrand base; least fixpoint semantics of a logic program
UR - http://eudml.org/doc/268202
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.