© University of Kent - Contact | Feedback | Legal | FOI | Cookies
jnet, a successor to gnet
Nick Ryan
In W. Borner, editor, Archaologie und Computer, Workshop 6, pages 182-196. Forschungsgesellschaft Wiener Stadtarchaologie, November 2001. Download publication 62 kbytes (HTML)Bibtex Record
@inproceedings{1547,
author = {Nick Ryan},
title = {jnet, a successor to gnet},
month = {November},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1547},
publication_type = {inproceedings},
submission_id = {25253_1034869977},
ISBN = {3-902086-07-6},
booktitle = {Archaologie und Computer, Workshop 6},
editor = {W. Borner},
organization = {Forschungsgesellschaft Wiener Stadtarchaologie},
}