swMATH9809MaRDI QIDQ21788FDOQ21788
Author name not available (Why is that?)
Official website: http://maude.cs.uiuc.edu/tools/scc/
Cited In (24)
- Twenty years of rewriting logic
- Metalevel algorithms for variant satisfiability
- Term Rewriting and Applications
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
- A metamodel of access control for distributed environments: applications and properties
- On First-Order Model-Based Reasoning
- 2OBJ
- MMT
- CloneDigger
- ChC 3
- CRC 3
- MFE
- ITP
- aleanTAP
- MTT
- CARIBOO
- Saigawa
- Conditional Confluence
- Constructors, sufficient completeness, and deadlock freedom of rewrite theories
- SymPLFIED
- ACUOS2
- Sufficient completeness verification for conditional and constrained TRS
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Metalevel algorithms for variant satisfiability
This page was built for software: SCC
