Normalisation in Weakly Orthogonal Rewriting
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Axiomatic Rewriting Theory VI Residual Theory Revisited
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Nordic Journal of Computing
Sequential algorithms and strongly stable functions
Theoretical Computer Science - Game theory meets theoretical computer science
Asynchronous games 2: the true concurrency of innocence
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
Structures for Abstract Rewriting
Journal of Automated Reasoning
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
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
Functorial boxes in string diagrams
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Axiomatic rewriting theory i: a diagrammatic standardization theorem
Processes, Terms and Cycles
Asynchronous games: innocence without alternation
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Hi-index | 0.00 |