Pages that link to "Item:Q1978640"
From MaRDI portal
The following pages link to Specification and proof in membership equational logic (Q1978640):
Displaying 50 items.
- Sufficient completeness verification for conditional and constrained TRS (Q420848) (← links)
- A generic framework for \(n\)-protocol compatibility checking (Q433347) (← links)
- A Maude environment for CafeOBJ (Q520244) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Algebraic simulations (Q844884) (← links)
- Proving termination of context-sensitive rewriting by transformation (Q859833) (← links)
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (Q880987) (← links)
- Equational abstractions (Q944377) (← links)
- An algebraic semantics for MOF (Q973052) (← links)
- Operational termination of conditional term rewriting systems (Q1041807) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Reflection in conditional rewriting logic (Q1608918) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Automata-driven automated induction (Q1854445) (← links)
- Functorial models for Petri nets (Q1854467) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Declarative debugging of rewriting logic specifications (Q1931907) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Travelling salesman problem in tissue P systems with costs (Q1983010) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- Parameterized strategies specification in Maude (Q2185882) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Resource provisioning strategies for BPMN processes: specification and analysis using Maude (Q2239276) (← links)
- Proving operational termination of membership equational programs (Q2271899) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Ground confluence of order-sorted conditional specifications modulo axioms (Q2291829) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- A probabilistic approximate logic for neuro-symbolic learning and reasoning (Q2667187) (← links)
- Verification of the ROS NavFn planner using executable specification languages (Q2693303) (← links)
- (Q2703692) (← links)
- Methods for Proving Termination of Rewriting-based Programming Languages by Transformation (Q2808239) (← links)
- Order-Sorted Rewriting and Congruence Closure (Q2811360) (← links)
- Interpreting Abstract Interpretations in Membership Equational Logic (Q2841246) (← links)
- Towards Behavioral Maude (Q2842559) (← links)
- Coding Mobile Synchronizing Petri Nets into Rewriting Logic (Q2864520) (← links)
- Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics (Q2866804) (← links)
- Abstraction and Model Checking of Core Erlang Programs in Maude (Q2873779) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- Two Decades of Maude (Q2945709) (← links)
- Integrating Maude into Hets (Q3067467) (← links)
- Declarative Debugging of Rewriting Logic Specifications (Q3184739) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- Declarative Debugging of Membership Equational Logic Specifications (Q3507364) (← links)
- MTT: The Maude Termination Tool (System Description) (Q3541712) (← links)
- Automated Induction with Constrained Tree Automata (Q3541728) (← links)
