Modular proof systems for partial functions with Evans equality

From MaRDI portal
Publication:2432764

DOI10.1016/j.ic.2005.10.002zbMath1103.68112OpenAlexW2156103760MaRDI QIDQ2432764

Uwe Waldmann, Harald Ganzinger, Viorica Sofronie-Stokkermans

Publication date: 25 October 2006

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2005.10.002



Related Items



Cites Work