SCC
From MaRDI portal
Software:21788
swMATH9809MaRDI QIDQ21788FDOQ21788
Author name not available (Why is that?)
Cited In (10)
- Twenty years of rewriting logic
- Metalevel algorithms for variant satisfiability
- Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories
- 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
- 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
