Proof normalization modulo

From MaRDI portal
Publication:4650285

DOI10.2178/jsl/1067620188zbMath1059.03062OpenAlexW1977882652MaRDI QIDQ4650285

Benjamin Werner, Gilles Dowek

Publication date: 9 February 2005

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

Full work available at URL: https://projecteuclid.org/euclid.jsl/1067620188




Related Items (17)


Uses Software


Cites Work


This page was built for publication: Proof normalization modulo