Inheritance hierarchies: Semantics and unification
Journal of Symbolic Computation
Une brève biographie scientifique de Maurice Nivat
Theoretical Computer Science
Equivariant Syntax and Semantics
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Stable computational semantics of conflict-free rewrite systems (partial orders with duplication)
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
| Hi-index | 0.00 |