Capturing relational NEXPTIME with a Fragment of Existential Third Order Logic

Fuente: Redalyc

Enregistré dans:

Détails bibliographiques
Auteur principal:	José M. Turull-Torres
Format:	Artículo científico
Langue:	en
Publié:	Universidad Nacional de La Plata 2015
Sujets:	Computación Third Order Logic Relational Machines Relational Complexity Fixed PointQuantifiers Expressibility of Logics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet