Publications

Slwv - A Theorem Prover for Logic Programming

AuthID
P-008-NS3

Author(s)

Pereira, LM

Caires, L

Alferes, JJ

Editor(s)

Lamma,E;Mello,P

Document Type

Proceedings Paper

Year published

1992

Published

in Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings in Lecture Notes in Computer Science, ISSN: 03029743

Volume: 660, Pages: 1-23 (22)

Indexing

Scopus^®

Dblp^®/en/publications/view/284451

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/3-540-56454-3_1

Dblp: conf/elp/PereiraCA92

Scopus: 2-s2.0-84936088127

Source Identifiers

ISSN: 03029743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Slwv - A Theorem Prover for Logic Programming

Useful Links

Get Help

Federated Authentication (Click on the image)

Slwv - A Theorem Prover for Logic Programming

Useful Links

Get Help