Relative Hilbert-Post Completeness for Exceptions

Mathematical Aspects of Computer and Information Sciences - Lecture Notes in Computer Science ◽

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

2016 ◽

pp. 596-610 ◽

Author(s):

Jean-Guillaume Dumas ◽

Dominique Duval ◽

Burak Ekici ◽

Damien Pous ◽

Jean-Claude Reynaud

Download Full-text