SCC
From MaRDI portal
Cited in
(25)- 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
- Jakarta
- 2OBJ
- MMT
- CloneDigger
- ChC 3
- CRC 3
- MFE
- ITP
- aleanTAP
- MTT
- CARIBOO
- Saigawa
- Conditional Confluence
- SymPLFIED
- ACUOS2
- On First-Order Model-Based Reasoning
- Constructors, sufficient completeness, and deadlock freedom of rewrite theories
- 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
