Positive and negative results for higher-order disunification

DOI10.1006/jsco.1995.1058zbMath0851.68071OpenAlexW1994026377MaRDI QIDQ1914170

Denis Lugiez

Publication date: 17 November 1996

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00074183/file/RR-2492.pdf

zbMATH Keywords

algebraic higher-order specification languages

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Proof generalization in \(\mathrm {LK}\) by second order unifier minimization ⋮ Abstract data type systems ⋮ Automata-driven automated induction

This page was built for publication: Positive and negative results for higher-order disunification