Arnaud Maes
According to our database1,
Arnaud Maes
authored at least 4 papers
between 1998 and 2002.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2002
2000
1999
An Automata Theoretic Decidability Proof for First-Order Theory of ⟨ℕ,<,P⟩ with Morphic Predicate P.
J. Autom. Lang. Comb., 1999
1998