Relative Hilbert-Post Completeness for Exceptions

10.1007/978-3-319-32859-1_51 ◽

2016 ◽

pp. 596-610 ◽

Cited By ~ 1

Author(s):

Jean-Guillaume Dumas ◽

Dominique Duval ◽

Burak Ekici ◽

Damien Pous ◽

Jean-Claude Reynaud