Axiom Directed Focusing release_ex67vbd6jjfzbh54oiwvhieula

by Clément Houtmann

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

2009   p169-185

Archived Files and Locations

application/pdf  760.6 kB
file_dpgkazik3jdepn2pp3lyq7bpr4
hal.inria.fr (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2009
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: ae88de58-84cd-4049-b84e-b53e3a14169d
API URL: JSON