PADIS

Pubblicazioni Aperte DIgitali Sapienza > Matematica > MATEMATICA >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10805/1305

Title: A simplified framework for first-order languages and its formalization in Mizar
Authors: CAMINATI, MARCO BRIGHT
Tutor: Rosolini, Giuseppe
Issue Date: 2011
URI: http://hdl.handle.net/10805/1305
Appears in PhD:MATEMATICA

Files in This Item:

File Description SizeFormat
CaminatiTesi20111130_09.16.44Definitiva.pdf844.83 kBAdobe PDF


This item is protected by original copyright

Recommend this item

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

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback Sviluppo e manutenzione a cura del CINECA