海量图书期刊资源,随时随地畅享阅读乐趣
OnDemandOBJ: A Laboratory for Strategy AnnotationsMaría Alpuente; Santiago Escobar; Salvador Lucas · 2003
Redundancy of Arguments Reduced to InductionMaría Alpuente; Rachid Echahed; Santiago Escobar; Salvador Lucas · 2002
Correct and Complete (Positive) Strategy Annotations for OBJMaría Alpuente; Santiago Escobar; Salvador Lucas · 2004