Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic Programming, Volume 38
Volume 38, Numbers 1, January 1999
- Peter A. Bigot, Saumya K. Debray:
Return Value Placement and Tail Call Optimization in High Level Languages. 1-29 - I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas
, Terrance Swift, David Scott Warren:
Efficient Access Mechanisms for Tabled Logic Programs. 31-54 - Bharat Jayaraman, Jana Devashis:
Set Constructors, Finite Sets, and Logical Semantics. 55-77
- David Pearce:
Stable Inference as Intuitionistic Validity. 79-91 - Evelina Lamma, Michela Milano, Paola Mello:
Reasoning on Constraints in CLP(FD). 93-110
Volume 38, Number 2, February 1999
- Iliano Cervesato, Angelo Montanari:
A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants. 111-164 - Kalyan Muthukumar, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo:
Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism. 165-218 - Pawel Cholewinski, Miroslaw Truszczynski:
Extremal Problems in Logic Programming and Stable Model Computation. 219-242 - Sandro Etalle, Annalisa Bossi, Nicoletta Cocco:
Termination of Well-Moded Programs. 243-257
Volume 38, Number 3, March 1999
- Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund:
Steadfast Logic Programs. 259-294 - Julie Yu-Chih Liu, Leroy Adams, Weidong Chen:
Constructive Negation Under the Well-Founded Semantics. 295-330 - Paul Tarau, Koenraad De Bosschere, Verónica Dahl, Stephen Rochefort:
LogiMOO: An Extensible Multi-user Virtual World with Natural Language Control. 331-353 - Michael Codish:
Efficient Goal Directed Bottom-Up Evaluation of Logic Programs. 355-370 - Agostino Cortesi, Gilberto Filé:
Sharing is Optimal. 371-386
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-04-18 21:10 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:
