default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVerification of Logic Programs@ICLP 1999: Las Cruces, NM, USA
- Sandro Etalle, Jan-Georg Smaus:
Workshop on Verification of Logic Programs 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999. Electronic Notes in Theoretical Computer Science 30(1), Elsevier 1999 - Christoph Beierle, Reinhold Kloos, Gregor Meyer:
A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming. 1-21 - Marco Comini
, Roberta Gori, Giorgio Levi, Paolo Volpe:
Abstract Interpretation based Verification of Logic Programs. 22-38 - Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik:
Automatic Termination Analysis of Programs Containing Arithmetic Predicates. 39-58 - Pascal Hitzler, Anthony Karel Seda:
Acceptable Programs Revisited. 59-76 - Dino Pedreschi, Salvatore Ruggieri:
On Logic Programs That Do Not Fail. 77-101 - Annalisa Bossi, Sandro Etalle, Sabina Rossi:
Properties of Input-Consuming Derivations. 102-124 - Sandro Etalle, Jan-Georg Smaus:
Preface - Workshop on Verification of Logic Programs. 125
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-10-31 20:19 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:
