CSIC

Usted está aquí

Home > Personal > Jordi Levy

Jordi Levy

Departamento de Razonamiento y Lógica
Jordi Levy
Email: 
levy@iiia.csic.es
Extension: 
240
Web: 
http://www.iiia.csic.es/~levy
Position: 
Scientific Staff
63 Publications
1993
Jordi Levy, Jaume Agustí-Cullell; Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations. Proc. of the 5th Int. Conf. on Rewriting Techniques and Applications, RTA'93; 1993.
Download PDF
David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy; Expressing Program Requirements Using Refinement Lattices. Proc. of the 7th Int. Symp. on Metodologies for Intelligent Systems, ISMIS'93; 1993.
Download PDF
1992
Jordi Levy, Jaume Agustí-Cullell; Implementing Inequality and Nondeterministic Specifications with Bi-rewriting Systems. Lecture Notes in Computer Science; 1992.
Download PDF