Exponentials with Infinite Multiplicities

Alberto Carraro, Thomas Ehrhard, Antonino Salibra. Exponentials with Infinite Multiplicities. In Anuj Dawar, Helmut Veith, editors, Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings. Volume 6247 of Lecture Notes in Computer Science, pages 170-184, Springer, 2010. [doi]

Authors

Alberto Carraro

This author has not been identified. Look up 'Alberto Carraro' in Google

Thomas Ehrhard

This author has not been identified. Look up 'Thomas Ehrhard' in Google

Antonino Salibra

This author has not been identified. Look up 'Antonino Salibra' in Google