Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Modal Logics and Topological Semantics for Hybrid Systems
 

Summary: Modal Logics and Topological Semantics
for Hybrid Systems
Mathematical Sciences Institute
Technical Report 9705
S. N. Artemov \Lambda , J. M. Davoren y and A. Nerode z
Mathematical Sciences Institute
Cornell University
Ithaca, NY 14850, U.S.A.
artemov@math.cornell.edu
jmd16@cornell.edu
anil@math.cornell.edu
June 1997
\Lambda Supported in part by the Russian Foundation for Basic Research, grant No. 960101395, and by the ARO
under the MURI program ``Integrated Approach to Intelligent Systems'', grant number DAA H049610341.
y American Association of University Women (AAUW) Educational Foundation 199697 International
Fellow.
z Research supported by the ARO under the MURI program ``Integrated Approach to Intelligent Systems'',
grant number DAA H049610341.
1

  

Source: Artemov, Sergei N. - Faculty of Mechanics and Mathematics, Moscow State University

 

Collections: Computer Technologies and Information Sciences