Structural Focalization release_vvsqaixxbjhv7ookxa6iv7wipe

by Robert J. Simmons

Published in ACM Transactions on Computational Logic by Association for Computing Machinery (ACM).

2014   Volume 15, p1-33

Archived Files and Locations

application/pdf  454.8 kB
file_sjcmlzw7evgy7d73l3v7n35fom
web.archive.org (webarchive)
www.cs.cmu.edu (web)
web.archive.org (webarchive)
www.cs.cmu.edu (web)
application/pdf  546.5 kB
file_mmygdf46wvfkrbgsrn63fjtxpq
repository.cmu.edu (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2014-09-08
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  1529-3785
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 3f339b89-c1a9-44df-a335-db6783271eef
API URL: JSON