Object graph rewriting: an experimental parallel implementation
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Implementing interaction nets in MONSTR
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
A logical framework for reasoning about access control models
ACM Transactions on Information and System Security (TISSEC)
Hierarchical graph transformation
Journal of Computer and System Sciences
Graph Algorithm Animation with Grrr
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Computational Completeness of Programming Languages Based on Graph Transformation
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Modeling Pointer Redirection as Cyclic Term-graph Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Strongly reducing variants of the Krivine abstract machine
Higher-Order and Symbolic Computation
Three syntactic theories for combinatory graph reduction
LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
EQUATIONAL TERM GRAPH REWRITING
Fundamenta Informaticae
Three syntactic theories for combinatory graph reduction
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |