| Authors: | Ghilezan, Silvia | Title: | Computational interpretations of logic | Conference: | Higher Order Rewritting, July 14, 2010, Edinburgh, UK | Issue Date: | 2010 | URL: | http://www.floc-conference.org/HOR-home.html |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.