Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | LPAR - Logic for Programming Artificial Intelligence and Reasoning - 2013 |
| Author | Delahaye, David, Doligez, Damien, Gilbert, Frédéric, Halmagrand, Pierre, Hermant, Olivier |
| Maintainer | CCSD |
| Last Updated | May 8, 2026, 02:06 (UTC) |
| Created | May 8, 2026, 02:06 (UTC) |
| Identifier | hal-00909784 |
| Language | en |
| Rights | https://about.hal.science/hal-authorisation-v1/ |
| contributor | Centre d'études et de recherche en informatique et communications (CEDRIC) ; Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers [Cnam] (Cnam) |
| coverage | Stellenbosch, South Africa |
| creator | Delahaye, David |
| date | 2013-12-15T00:00:00 |
| harvest_object_id | 9ca02c94-496c-4f8c-a780-05393daa9d70 |
| harvest_source_id | 3374d638-d20b-4672-ba96-a23232d55657 |
| harvest_source_title | test moissonnage SELUNE |
| metadata_modified | 2026-04-28T00:00:00 |
| relation | info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-45221-5_20 |
| set_spec | type:COMM |