Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis

François Schwarzentruber
École normale supérieure - Rennes
CV
Gaetan Gaëtan Douéneau-Tabot
  • Fonction : Auteur

Domaines

Logique en informatique [cs.LO]

Sophie Pinchinat  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02533508

Soumis le : lundi 6 avril 2020-14:51:20

Dernière modification le : dimanche 21 janvier 2024-03:22:46

Fichier non déposé

Dates et versions

hal-02533508 , version 1 (06-04-2020)

Identifiants

  • HAL Id : hal-02533508 , version 1

Citer

François Schwarzentruber, Gaetan Gaëtan Douéneau-Tabot. Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis. Advances in Modal Logic 12, Aug 2018, Bern, Switzerland. ⟨hal-02533508⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-RENNES UNIV-RENNES
24 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More