Current trends in logical frameworks and metalanguages

DOI10.1023/A:1010624702918zbMath1004.03505MaRDI QIDQ5951520

Amy P. Felty, David A. Basin

Publication date: 16 February 2003

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Mathematics Subject Classification ID

03B70: Logic in computer science

03B35: Mechanization of proofs and logical operations