Specifying concurrent systems with &Dgr;-grammars
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
IEEE Transactions on Software Engineering
Node rewriting in graphs and hypergraphs: a categorical framework
Theoretical Computer Science
Inference of Parsable Graph Grammars for Syntactic Pattern Recognition
Fundamenta Informaticae
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Type inference and type checking for queries on execution traces
Proceedings of the VLDB Endowment
Graphical reasoning in compact closed categories for quantum computation
Annals of Mathematics and Artificial Intelligence
A quest for beauty and wealth (or, business processes for database researchers)
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Inference of Parsable Graph Grammars for Syntactic Pattern Recognition
Fundamenta Informaticae
Hi-index | 0.00 |