Syntactic Type Soundness Results for the Region Calculus

Author： Calcagno C.   Helsen S.   Thiemann P.  

Publisher： Academic Press

ISSN： 0890-5401

Source： Information and Computation, Vol.173, Iss.2, 2002-03, pp. : 199-221

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Lower semicontinuous type regularity conditions for subdifferential calculus

By Boţ Radu Ioan   Grad Sorin-Mihai  

Optimization Methods and Software, Vol. 25, Iss. 1, 2010-02 ,pp. : 37-48

Taylor & Francis Ltd

Access to resources Recommend Favorite

Differential and integral calculus III through WebCT: analysis of results

By Cristina Cerri   Maria Cristina Bonomi Barufi  

International Journal of Mathematical Education in Science and Technology, Vol. 34, Iss. 3, 2003-05 ,pp. : 335-341

Taylor & Francis Ltd

Access to resources Recommend Favorite

Type Reconstruction for Linear π-Calculus with I/O Subtyping

By Igarashi A.   Kobayashi N.  

Information and Computation, Vol. 161, Iss. 1, 2000-08 ,pp. : 1-44

Academic Press

Access to resources Recommend Favorite

Generalized Hille-Phillips type functional calculus for multiparameter semigroups

By Lopushansky O.   Sharyn S.  

Siberian Mathematical Journal, Vol. 55, Iss. 1, 2014-01 ,pp. : 105-117

Springer Publishing Company

Access to resources Recommend Favorite

Farkas-type Results for Max-functions and Applications

By Boţ Radu I.   Wanka Gert  

Positivity, Vol. 10, Iss. 4, 2006-11 ,pp. : 761-777

Springer Publishing Company

Access to resources Recommend Favorite