Extensions of Domain Maps in Differential and Integral Calculus
From MaRDI portal
Publication:4635824
DOI10.1109/LICS.2015.47zbMath1393.26031OpenAlexW1555623926MaRDI QIDQ4635824
Publication date: 23 April 2018
Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/lics.2015.47
Set-valued functions (26E25) Set-valued set functions and measures; integration of set-valued functions; measurable selections (28B20) Continuous lattices and posets, applications (06B35)