© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Order theoretic topologies and hybrid systems
Marius C. Bujorianu and Manuela L. Bujorianu
In University of Hull, editor, 5th Galway Colloquium on General Topology, pages 182-196. LMS, University of Hull, June 2001.Bibtex Record
@conference{1336,
author = {Marius C. Bujorianu and Manuela L. Bujorianu},
title = {Order Theoretic Topologies and Hybrid Systems},
month = {June},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1336},
publication_type = {conference},
submission_id = {15274_1012247926},
booktitle = {5th Galway Colloquium on General Topology},
editor = {University of Hull},
organization = {LMS},
publisher = {University of Hull},
}