If you are experiencing problems downloading PDF or HTML fulltext, our helpdesk recommend clearing your browser cache and trying again. If you need help in clearing your cache, please click here . Still need help? Email help@ingentaconnect.com

Publisher: Elsevier

Related content
Volume 30, Number 1, January 2004

< previous issue | all issues | next issue >

Favourites:Add to Favourites

Automatic Termination Analysis of Programs Containing Arithmetic Predicates
pp. 1-20(20)
Authors: Dershowitz, N.; Lindenstrauss, N.; Sagiv, Y.; Serebrenik, A.

Favourites:Add to Favourites
Favourites:Add to Favourites

Acceptable Programs Revisited
pp. 1-18(18)
Authors: Hitzler, P.; Seda, A.K.

Favourites:Add to Favourites

On logic programs that do not fail
pp. 1-25(25)
Authors: Pedreschi, D.; Ruggieri, S.

Favourites:Add to Favourites

Properties of Input-Consuming Derivations
pp. 1-23(23)
Authors: Bossi, A.; Etalle, S.; Rossi, S.

Favourites:Add to Favourites

Abstract Interpretation based Verification of Logic Programs
pp. 1-17(17)
Authors: Comini, M.; Gori, R.; Levi, G.; Volpe, P.

Share Content

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more