Journal article Open Access
Aubert, Clément;
Seiller, Thomas
{ "files": [ { "links": { "self": "https://zenodo.org/api/files/005f2a0e-9f8a-46e0-b732-37540c43c9d4/article.pdf" }, "checksum": "md5:f18df40d8e6ccea9d23cd61ce10415b8", "bucket": "005f2a0e-9f8a-46e0-b732-37540c43c9d4", "key": "article.pdf", "type": "pdf", "size": 311467 } ], "owners": [ 13380 ], "doi": "10.1017/s0960129514000267", "stats": { "version_unique_downloads": 11.0, "unique_views": 34.0, "views": 35.0, "version_views": 35.0, "unique_downloads": 11.0, "version_unique_views": 34.0, "volume": 3737604.0, "version_downloads": 12.0, "downloads": 12.0, "version_volume": 3737604.0 }, "links": { "doi": "https://doi.org/10.1017/s0960129514000267", "latest_html": "https://zenodo.org/record/3967741", "bucket": "https://zenodo.org/api/files/005f2a0e-9f8a-46e0-b732-37540c43c9d4", "badge": "https://zenodo.org/badge/doi/10.1017/s0960129514000267.svg", "html": "https://zenodo.org/record/3967741", "latest": "https://zenodo.org/api/records/3967741" }, "created": "2020-07-30T19:18:35.034587+00:00", "updated": "2020-07-31T00:59:25.140967+00:00", "conceptrecid": "3967740", "revision": 2, "id": 3967741, "metadata": { "access_right_category": "success", "doi": "10.1017/s0960129514000267", "description": "In a recent paper, Girard proposes to use his recent construction of a geometry of interaction in the hyperfinite factor in an innovative way to characterize complexity classes. We begin by giving a detailed explanation of both the choices and the motivations of Girard's definitions. We then provide a complete proof that the complexity class co-NL can be characterized using this new approach. We introduce as a technical tool the non-deterministic pointer machine, a concrete model to computes algorithms. ; Comment: To appear in Mathematical Structures in Computer Science", "license": { "id": "zenodo-freetoread-1.0" }, "title": "Characterizingco-NLby a group action", "relations": { "version": [ { "count": 1, "index": 0, "parent": { "pid_type": "recid", "pid_value": "3967740" }, "is_last": true, "last_child": { "pid_type": "recid", "pid_value": "3967741" } } ] }, "publication_date": "2014-12-05", "creators": [ { "orcid": "0000-0001-6346-3043", "name": "Aubert, Cl\u00e9ment" }, { "name": "Seiller, Thomas" } ], "access_right": "open", "resource_type": { "subtype": "article", "type": "publication", "title": "Journal article" } } }
Views | 35 |
Downloads | 12 |
Data volume | 3.7 MB |
Unique views | 34 |
Unique downloads | 11 |