A Tutorial on Proof Theoretic Foundations of Logic Programming release_pgtdgyhgdjfnpiueiv5abwlchm

by Paola Bruscoli, Alessio Guglielmi

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2003   p109-127

Archived Files and Locations

application/pdf  175.6 kB
file_fu4b2e57evcbfecch3kbk4pw5u
cs.bath.ac.uk:80 (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2003
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 59494269-a7c3-486c-948c-d1b4f11c1e86
API URL: JSON