Computability over an arbitrary structure: Sequential and parallel polynomial time (2003)

by O Bournez, F Cucker, P Jacobé de Naurois, J-Y Marion
Venue:Foundations of Software Science and Computational Structures, 6th International Conference (FOSSACS’2003), volume 2620 of Lecture Notes in Computer Science