Position: 
Co-Autors
2 Publications
2000
1998
Jordi Levy, Margus Veanes; On Unification Problems in Restricted Second-Order Languages. Annual Conference of the European Association for Computer Science Logic, CSL'98; 1998.
 

No results found