SCC
From MaRDI portal
Cited in
(25)- Jakarta
- 2OBJ
- Twenty years of rewriting logic
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
- MMT
- CloneDigger
- MFE
- ChC 3
- CRC 3
- MTT
- ITP
- aleanTAP
- CARIBOO
- Saigawa
- Metalevel algorithms for variant satisfiability
- Conditional Confluence
- Metalevel algorithms for variant satisfiability
- On First-Order Model-Based Reasoning
- SymPLFIED
- Sufficient completeness verification for conditional and constrained TRS
- ACUOS2
- A metamodel of access control for distributed environments: applications and properties
- Constructors, sufficient completeness, and deadlock freedom of rewrite theories
- Term Rewriting and Applications
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
This page was built for software: SCC
