Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic Programming, Volume 36
Volume 36, Number 1, July 1998
- Lunjin Lu:
Polymorphic Type Analysis in Logic Programs by Abstract Intepretation. 1-54 - Michael Meskes:
Subsumption-Stratified Datalog. 55-90
Volume 36, Number 2, August 1998
- Laura Giordano, Nicola Olivetti:
Combining Negation as Failure and Embedded Implications in Logic Programs. 91-147 - Michael Leuschel, Danny De Schreye
:
Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters. 149-193
Volume 36, Number 3, September 1998
- Seng Wai Loke, Andrew Davison:
LogicWeb: Enhancing the Web with Logic Programming. 195-240 - Robert F. Stärk:
The Theoretical Foundations of LPTP (A Logic Program Theorem Prover). 241-269 - Mengchi Liu:
Relationlog: A Typed Extension to Datalog with Sets and Tuples. 271-299
a service of 
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-06-29 00:31 CEST 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:
