SCC
From MaRDI portal
Software:21788
No author found.
Related Items (10)
Metalevel algorithms for variant satisfiability ⋮ On First-Order Model-Based Reasoning ⋮ Twenty years of rewriting logic ⋮ On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories ⋮ Sufficient completeness verification for conditional and constrained TRS ⋮ A metamodel of access control for distributed environments: applications and properties ⋮ Term Rewriting and Applications ⋮ Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories ⋮ 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
