![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.