Sapiña, Maria
5  Ergebnisse:
Personensuche X
?
1

Contributors:

, In: Foundations of Colorectal Cancer,
 
?
2

Optimizing Maude Programs via Program Specialization:

, In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science,
 
?
4

Variant-Based Equational Anti-unification:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,
 
1-5