Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion. Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures.
In 2nd APPSEM II Workshop - APPSEM'04, Apr 2004, Tallinn/Estonia.
⟨inria-00000520⟩