A single-sorted theory of multisets
From MaRDI portal
Publication:740200
DOI10.1215/00294527-2688042zbMath1337.03081OpenAlexW2084340327MaRDI QIDQ740200
Publication date: 2 September 2014
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1406034049
Related Items (1)
Cites Work
This page was built for publication: A single-sorted theory of multisets