Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo
type: Dataset
description: International audience
landing page: LPAR - Logic for Programming Artificial Intelligence and Reasoning - 2013
keyword: automated-the--orem-proving
keyword: conference-papers
keyword: deduction-modulo
keyword: dedukti
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-aicomputer-science-csartificial-intelligence-csai
keyword: infoinfo-plcomputer-science-csprogramming-languages-cspl
keyword: mathmath-lomathematics-mathlogic-mathlo
keyword: proof-checking
keyword: rewriting
keyword: tableaux
keyword: zenon
issued: 2026-05-08T02:06:43.002742
modified: 2026-05-08T02:06:43.002747
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo
type: Distribution
format: HTML
access URL: https://inria.hal.science/hal-00909784
issued: 2026-05-08T02:06:43.059747
modified: 2026-05-08T02:06:42.977943