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

Page view(s)

14
checked on Sep 14, 2022

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.