Complexity of t-tautologies

From MaRDI portal
Publication:5957903

DOI10.1016/S0168-0072(01)00048-3zbMath1006.03022MaRDI QIDQ5957903

Franco Montagna, Helmut Veith, Matthias Baaz, Petr Hájek

Publication date: 6 March 2003

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)




Related Items (17)



Cites Work


This page was built for publication: Complexity of t-tautologies