The Existential Fragment of Third Order Logic and Third Order Relational Machines

Main Authors: Arroyuelo, Jorge, Turull Torres, José María
Format: Documento de conferencia
Language: English
Published: 2014-10
2014
Subjects:
Online Access: http://sedici.unlp.edu.ar/handle/10915/42242