Collaborated with:∅ T.Yamada J.Avenhaus A.Middeldorp
Talks about:synthesi (1) program (1) system (1) rewrit (1) narrow (1) condit (1) logic (1)
Person: Carlos Loría-Sáenz
DBLP: Lor=iacute=a-S=aacute=enz:Carlos
Contributed to:
1992
1997Wrote 2 papers:
- LOPSTR-1992-Loria-Saenz #source code #synthesis
- Synthesis of Narrowing Programs (CLS), pp. 30–45.
- TAPSOFT-1997-YamadaALM #term rewriting
- Logicality of Conditional Rewrite Systems (TY, JA, CLS, AM), pp. 141–152.