Rewriting Logic and Its Applications - 9783319129037

Rewriting Logic and Its Applications 10th International Workshop

Narendran - Rewriting Techniques and Applications 10th International - X555z

Escobar - Rewriting Logic and Its Applications 13th International Wo - X555z

Ong - Typed Lambda Calculi and Applications 10th International Confe - X555z

Erlebach - Approximation and Online Algorithms 10th International Wo - X555z

Aher - Logic Language and Computation 10th International Tbilisi S - X555z

Lucanu - Rewriting Logic and Its Applications 11th International Wor - X555z