Normal view
MARC view
Decidability (Mathematical logic) Congresses (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): RP (Workshop) (3rd : 2009 : Palaiseau, France) 36261, Reachability problems :, 2009.