Hybrid Logics and NP Graph Properties.
Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasch Schechter, Ana Teresa C. Martins
Browse the full WoLLIC paper archive.
Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasch Schechter, Ana Teresa C. Martins
Browse the full WoLLIC paper archive.