REASONING ABOUT TERMINATION OF PURE PROLOG PROGRAMS

Authors
APT KR PEDRESCHI D
Citation
Kr. Apt et D. Pedreschi, REASONING ABOUT TERMINATION OF PURE PROLOG PROGRAMS, Information and computation, 106(1), 1993, pp. 109-157
Citations number
26
Categorie Soggetti
Information Science & Library Science",Mathematics,"Computer Applications & Cybernetics
Journal title
Information and computation → ACNP
ISSN journal
08905401
Volume
106
Issue
1
Year of publication
1993
Pages
109 - 157
Database
ISI
SICI code
0890-5401(1993)106:1<109:RATOPP>2.0.ZU;2-R