Preface
From MaRDI portal
Publication:5894305
DOI10.1017/S0960129511000235zbMath1276.03004MaRDI QIDQ5894305
Publication date: 21 October 2011
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mechanization of proofs and logical operations (03B35) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Uses Software
This page was built for publication: Preface