© 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}, }