Modelization of deterministic rational relations
Theoretical Computer Science
The Delta Operation: From Strings to Trees to Strings
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
The delta operation: from strings to trees to strings
Formal and natural computing
An automata theoretic approach to rational tree relations
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Beyond iteration vectors: instancewise relational abstract domains
SAS'06 Proceedings of the 13th international conference on Static Analysis
| Hi-index | 5.23 |