Intensional properties of polygraphs (2008)

by G BONFANTE, Y GUIRAUD
Venue:in "4th International Workshop on Computing with Terms and Graphs - TERMGRAPH 2007 Electronic Notes in Theoretical Computer Science
Add To MetaCart
Results 1 - 5 of 5

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 PROTHEO Constraints, Mechanized Deduction and Proofs of Software Properties

by Nancy Grand Est
"... c t i v it y e p o r t 2007 Table of contents ..."
Abstract - Add to MetaCart
c t i v it y e p o r t 2007 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

Project-Team CARTE Theoretical Adverse Computations, and Safety

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

Team CARTE Theoretical Adverse Computations, and Safety

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