Unification in sort theories and its applications

From MaRDI portal
Publication:1380412

DOI10.1007/BF02127750zbMath0887.03006MaRDI QIDQ1380412

Christoph Weidenbach

Publication date: 17 May 1998

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)




Related Items (5)



Cites Work




This page was built for publication: Unification in sort theories and its applications