IDL '94 Proceedings of the workshop on Interface definition languages
Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Structures for Abstract Rewriting
Journal of Automated Reasoning
An Abstract Way to Define Rewriting Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Type class polymorphism in an institutional framework
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |