A sequent calculus for automated reasoning in symbolic computation systems

DOI10.1006/JSCO.1995.1011zbMath0836.68062OpenAlexW1968673207MaRDI QIDQ1895410

Alfonso Miola, Gianna Cioni, Attilio Colagrossi

Publication date: 16 August 1995

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

Full work available at URL: https://doi.org/10.1006/jsco.1995.1011

zbMATH Keywords

symbolic computationautomated reasoning

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Intuitive minimal abduction in sequent calculi

This page was built for publication: A sequent calculus for automated reasoning in symbolic computation systems