Equational rules for rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Applying Rewriting Techniques to the Verification of Erlang Processes
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Hi-index | 0.00 |