default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic Programming, Volume 21
Volume 21, Number 1, August 1994
- R. K. Shyamasundar, Bal Wang:
A Methodology for Provin Termination of Logic Programs. 1-30 - Louiqa Raschid:
A Semantics for a Class of Stratified Production System Programs. 31-57
Volume 21, Number 2, October 1994
- Laura Giordano
, Alberto Martelli:
Structuring Logic Programs: A Modal Approach. 59-94 - Françoise Gire:
Equivalence of Well-Founded and Stable Semantics. 95-111
Volume 21, Number 3, November 1994
- Melvin Fitting:
Metric Methods Three Examples and a Theorem. J. Log. Program. 21(3): 113-127 (1994) - V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
The Stable Models of a Predicate Logic Program. J. Log. Program. 21(3): 129-153 (1994) - Kumar V. Vadaparty:
On the Power of Rule-Based Query Languages for Nested Data Models. J. Log. Program. 21(3): 155-175 (1994)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
