Journal of Logical and Algebraic Methods in Programming - Volume 85 - Issue 1 - Part 1

Termination criteria for tree automata completion

Fulltext Access 31 Pages 2016

Normal forms and normal theories in conditional rewriting

Fulltext Access 31 Pages 2016

Language definitions as rewrite theories

Fulltext Access 23 Pages 2016

Modeling and analyzing mobile ad hoc networks in Real-Time Maude

Fulltext Access 33 Pages 2016