Inconsistency of GPK + AFA

Référence Mathematical logic quarterly, 42, 1, page (104-108)
Publication Publié, 1996

Article révisé par les pairs

Alternating Tree Automata with Qualitative Semantics
par Berthon, Raphaël , Fijalkow, Nathanaël , Filiot, Emmanuel , Guha, Shibashis , Maubert, Bastien , Murano, Aniello , Pinault, Laureline , Pinchinat, Sophie , Rubin, Sasha , Serre, Olivier
Publication 2021-01-01
Pourquoi boit-on du vin ?:Une enquête insolite et palpitante du Prof. Fabrizio Bucella
par Bucella, Fabrizio
Publication 2019-02-06
Logics for word transductions with synthesis
par Dartois, Luc , Filiot, Emmanuel , Lhote, Nathan
Publication 2018-07
Minkowski Games
par Le Roux, Stephane , Pauly, Arno , Raskin, Jean-François
Publication 2018-08
Lesniewski on Metalogic and Definitions
par Richard, Sébastien
Publication 2018

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.