Term-graph rewriting via explicit paths (0)

by E BALLAND, P-E MOREAU
Venue:in "RTA: International Conference on Rewriting Techniques and Applications RTA Lecture Notes in Computer Science, Autriche Hagenberg
Add To MetaCart
Results 1 - 2 of 2

Team Pareo Formal Islands: Foundations and Applications

by Nancy Grand Est
"... c t i v it y e p o r t 2008 Table of contents ..."
Abstract - Add to MetaCart
c t i v it y e p o r t 2008 Table of contents

Project-Team Pareo Formal Islands: Foundations and Applications

by Nancy Grand Est
"... c t i v it y e p o r t 2009 Table of contents ..."
Abstract - Add to MetaCart
c t i v it y e p o r t 2009 Table of contents