Journal of the ACM (JACM)
Journal of the ACM (JACM)
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Abstract computability and algebraic specification
ACM Transactions on Computational Logic (TOCL)
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Complete Categorical Equational Deduction
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Science of Computer Programming
Algebraic Stuttering Simulations
Electronic Notes in Theoretical Computer Science (ENTCS)
Theoretical Computer Science
Rewriting logic and probabilities
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Embedding domain-specific modelling languages in maude specifications
ACM SIGSOFT Software Engineering Notes
A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Order-Sorted equality enrichments modulo axioms
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Embedding domain-specific modelling languages in Maude specifications
Software and Systems Modeling (SoSyM)
Taming distributed system complexity through formal patterns
Science of Computer Programming
Hi-index | 0.00 |