Uwe Reyle
Universität Stuttgart
Dov Gabbay
Hebrew University of Jerusalem
No abstract
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 1993
DOI 10.1080/11663081.1993.10510797
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 61,064
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

N-Prolog and Equivalence of Logic Programs.Nicola Olivetti & Lea Terracini - 1992 - Journal of Logic, Language and Information 1 (4):253-340.
.[author unknown] - unknown
A Quantum Computer Only Needs One Universe.A. M. Steane - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 34 (3):469-478.
First-Order Theories for Pure Prolog Programs with Negation.Robert F. Stärk - 1995 - Archive for Mathematical Logic 34 (2):113-144.
Parallel Machines.Andrew Boucher - 1997 - Minds and Machines 7 (4):543-551.


Added to PP index

Total views
13 ( #733,330 of 2,439,611 )

Recent downloads (6 months)
6 ( #113,583 of 2,439,611 )

How can I increase my downloads?


My notes