The following pages link to (Q4222859):
Displaying 27 items.
- Strategy based semantics for mobility with time and access permissions (Q890480) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Propositional compositions of partial predicates (Q1592086) (← links)
- A causal semantics for CCS via rewriting logic (Q1606128) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Equational rules for rewriting logic (Q1608925) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Structured theories and institutions (Q1884906) (← links)
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- A probabilistic approximate logic for neuro-symbolic learning and reasoning (Q2667187) (← links)
- Coding Mobile Synchronizing Petri Nets into Rewriting Logic (Q2864520) (← links)
- Two Decades of Maude (Q2945709) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)
- (Q4222853) (← links)
- (Q4222858) (← links)
- (Q4222979) (← links)
- Term Sequent Logic (Q4982627) (← links)
- Relating two categorical models of term rewriting (Q5055833) (← links)
- A compiler for nondeterministic term rewriting systems (Q5055858) (← links)
- The tccp Interpreter (Q5170191) (← links)
- Translating Stochastic CLS into Maude (Q5179424) (← links)
- Maude as a Platform for Designing and Implementing Deep Inference Systems (Q5415654) (← links)
- The control layer in open mechanized reasoning systems: Annotations and tactics (Q5950930) (← links)
- SpeX: a rewriting-based formal specification environment (Q6562521) (← links)
