Fixed Points In Quantitative Semantics
From MaRDI portal
Publication:4635890
DOI10.1145/2933575.2934569zbMath1401.68174MaRDI QIDQ4635890
No author found.
Publication date: 23 April 2018
Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: http://opus.bath.ac.uk/51462/1/lics16.pdf