Dialog

DOI10.1007/3-540-63104-6_44zbMath1430.68402OpenAlexW4235535904MaRDI QIDQ5234725

Claus Zinn, Jürgen Ehrensberger

Publication date: 1 October 2019

Published in: Automated Deduction—CADE-14 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63104-6_44

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

DiaLog

Cites Work

• Unnamed Item
• Dialogues, strategies, and intuitionistic provability

This page was built for publication: Dialog