Graph-based decision for Gödel-Dummett logics

From MaRDI portal
Publication:877886

DOI10.1007/s10817-006-9047-9zbMath1121.03021OpenAlexW1964353152MaRDI QIDQ877886

Dominique Larchey-Wendling

Publication date: 4 May 2007

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-006-9047-9




Related Items (3)



Cites Work


This page was built for publication: Graph-based decision for Gödel-Dummett logics