Back to Search Start Over

Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem.

Authors :
Hristakiev, Ivaylo
Plump, Detlef
Source :
Software Technologies: Applications & Foundations; 2016, p145-160, 16p
Publication Year :
2016

Details

Language :
English
ISBNs :
9783319502298
Database :
Complementary Index
Journal :
Software Technologies: Applications & Foundations
Publication Type :
Book
Accession number :
122238533
Full Text :
https://doi.org/10.1007/978-3-319-50230-4_11