Computational aspects of an order-sorted logic with term declarations

From MaRDI portal
Publication:1801289


zbMath0689.68001MaRDI QIDQ1801289

Manfred Schmidt-Schauss

Publication date: 5 June 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)


68Q65: Abstract data types; algebraic specification

03B35: Mechanization of proofs and logical operations

68-02: Research exposition (monographs, survey articles) pertaining to computer science

03D03: Thue and Post systems, etc.


Related Items