Narrowing Based Inductive Proof Search
type: Dataset
description: Premiere version en 2005, en l'honneur de Harald Ganzinger
issued: 2026-05-20T12:25:19.715224
language: en
modified: 2026-05-20T12:25:19.715232
contact point: Organization
  fn: CCSD
keyword: deduction-modulo
keyword: equational-reasoning
keyword: induction
keyword: induction-by-rewriting
keyword: infoeu-reposemanticsother
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: noetherian-induction
keyword: other-publications
keyword: sequent-calculus-modulo
keyword: term-rewriting
landing page: https://inria.hal.science/hal-00692193

Narrowing Based Inductive Proof Search
type: Distribution
format: HTML
issued: 2026-05-20T12:25:19.786031
modified: 2026-05-20T12:25:19.669806
access URL: https://inria.hal.science/hal-00692193

test_moissonnage_selune
type: Agent