Bunch theory: axioms, logic, applications and model
From MaRDI portal
Publication:6561347
DOI10.1016/j.jlamp.2024.100977MaRDI QIDQ6561347
Frank Zeyda, Chunyan Mu, Bill Stoddart, Steve Dunne
Publication date: 25 June 2024
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
This page was built for publication: Bunch theory: axioms, logic, applications and model
