A note on the minimalization of tree-automata
Arbres infinis et systèmes d'équations
Frontiers of infinite trees
Une forme canonique pour les grammaires simples déterministes
Une axiomatisation au premier ordre des arrangements de pseudodroites euclidiennes
Nous définissons une structure logique permettant de représenter les classes d’homéomorphismes des arrangements de pseudodroites du plan euclidien. Nous donnons une axiomatisation finie du premier ordre de la réalisabilité des arrangements de pseudodroites.
Decidable subcases of the equivalence problem for recursive program schemes
A multivariate interlace polynomial and its computation for graphs of bounded clique-width.
Page 1