Normal view
MARC view
Décidabilité (Logique mathématique) Congrès (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA)639530: RP (Workshop) (3rd : 2009 : Palaiseau, France) 36261, Reachability problems :, 2009.