© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Constructive foundations of stochastic analysis in linear logic
Manuela L. Bujorianu and Marius C. Bujorianu
In EATCS Bulletin, editor, BCTCS 17 British Colloquium for Theoretical Computer Science, volume 74, pages 182-196. EATCS, April 2001.Bibtex Record
@inproceedings{1338,
author = {Manuela L. Bujorianu and Marius C. Bujorianu},
title = {Constructive Foundations of Stochastic Analysis in Linear Logic},
month = {April},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1338},
publication_type = {inproceedings},
submission_id = {16911_1012249113},
booktitle = {BCTCS 17 British Colloquium for Theoretical Computer Science},
editor = {EATCS Bulletin},
volume = {74},
organization = {EATCS},
}