Second Order Logic and the Weak Exponential Hierarchies

Second Order Logic and the Weak Exponential Hierarchies

Detalles Bibliográficos
Main Authors: Gottlob, G, Leone, N, Veith, H
Formato: Conference item
Publicado: Springer 1995
Descripción
Summary:

Títulos similares