ITP
From MaRDI portal
swMATH9808MaRDI QIDQ21787FDOQ21787
Author name not available (Why is that?)
Official website: http://maude.sip.ucm.es/itp/
Cited In (56)
- A hierarchy of semantics for non-deterministic term rewriting systems
- Theoretical Aspects of Computing – ICTAC 2005
- Twenty years of rewriting logic
- A Modular Equational Generalization Algorithm
- The rewriting logic semantics project
- Metalevel algorithms for variant satisfiability
- Term Rewriting and Applications
- Principles of proof scores in CafeOBJ
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
- The rewriting logic semantics project
- Deduction, strategies, and rewriting
- A metamodel of access control for distributed environments: applications and properties
- Integrating Maude into Hets
- On First-Order Model-Based Reasoning
- LETOS
- OBJ3
- CafeOBJ
- Maude
- MMT
- MultiVeStA
- PMaude
- PVeStA
- ChC 3
- CRC 3
- MFE
- DDebugger
- MTT
- CARIBOO
- SCC
- MOMENT2
- PSMaude
- Maude-NPA
- Algebraic simulations
- Constructors, sufficient completeness, and deadlock freedom of rewrite theories
- Programming and symbolic computation in Maude
- ModGen
- TAMARIN
- CITP
- Refal
- Java+ITP
- infChecker
- Order-sorted generalization
- Marathon 2
- ROSMonitoring
- Equational abstractions
- A tutorial on specifying data structures in Maude
- Sufficient completeness verification for conditional and constrained TRS
- Proof Search for the First-Order Connection Calculus in Maude
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Proving semantic properties as first-order satisfiability
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
- A modular order-sorted equational generalization algorithm
- Verification of the ROS NavFn planner using executable specification languages
- Metalevel algorithms for variant satisfiability
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
- Typed mobile ambients in Maude
This page was built for software: ITP
