Departamento de Razonamiento y Lógica
Jordi Levy
Email: 
levy@iiia.csic.es
Extension: 
240
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.
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.
1992