Sergio Antoy

Sergio Antoy

Ex-Prof at Portland State University
pdx.edu의 이메일 확인됨
3002회 인용
Functional Logic Programming Narrowing Non-Determinism
Angel Cuenca-Ortega

Angel Cuenca-Ortega

Universidad de Guayaquil, Universitat Politècnica de València
ug.edu.ec의 이메일 확인됨
77회 인용
Formal Methods Partial Evaluation Maude Narrowing Term Rewriting
Luis Aguirre

Luis Aguirre

Ph. D. Student, Universidad Complutense de Madrid
ucm.es의 이메일 확인됨
31회 인용
Theoretical Computer Science Rewriting Logic Narrowing