Paper: Extensions of Domain Maps in Differential and Integral Calculus (at LICS 2015)
Authors: Abbas Edalat
Abstract
No Abstract Available
BibTeX
@InProceedings{Edalat-ExtensionsofDomainM,
author = {Abbas Edalat},
title = {Extensions of Domain Maps in Differential and Integral Calculus},
booktitle = {Proceedings of the Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)},
year = {2015},
month = {July},
pages = {426--437},
location = {Kyoto, Japan},
publisher = {ACM}
}
