Integration in cones

DOI10.46298/LMCS-21(1:1)2025MaRDI QIDQ7034357zbMATH OpenFDO

Authors Thomas Ehrhard, Guillaume Geoffroy

Publication date 31 January 2025

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

This page was built for publication: Integration in cones

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7034357)