Characterizing Definability in Decidable ...

Type de document :
Communication dans un congrès avec actes
DOI :
10.4230/LIPIcs.ICALP.2017.107
Titre :
Characterizing Definability in Decidable Fixpoint Logics
Auteur(s) :
Benedikt, Michael [Auteur]
Department of Computer Science [Oxford]
Bourhis, Pierre [Auteur] refId
Linking Dynamic Data [LINKS]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Boom, Michael [Auteur]
Department of Computer Science [Oxford]
Éditeur(s) ou directeur(s) scientifique(s) :
Ioannis Chatzigiannakis
Piotr Indyk
Fabian Kuhn
Anca Muscholl
Titre de la manifestation scientifique :
ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming
Ville :
Varsovie
Pays :
Pologne
Date de début de la manifestation scientifique :
2017-07-10
Mot(s)-clé(s) en anglais :
bisimulation
definability
automata
Guarded logics
Discipline(s) HAL :
Informatique [cs]/Base de données [cs.DB]
Résumé en anglais : [en]
We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic. We consider semantic characterizations ...
Lire la suite >
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Harvested from HAL
Fichiers
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail