Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 20 results in range #1 to #20.
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs: Label: en
- Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool: Label: en
- On Automation of OTS/CafeOBJ Method: Label: en
- Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method: Label: en
- 8k-ary Grid Graph Models of Tabular Forms: Label: en
- An Institution for Imperative RSL Specifications: Label: en
- Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing: Label: en
- Behaviour, Interaction and Dynamics: Label: en
- Foundations for Ensemble Modeling – The Helena Approach: Label: en
- Confluence: The Unifying, Expressive Power of Locality: Label: en
- Functional Logic Programming in Maude: Label: en
- Behavioral Rewrite Systems and Behavioral Productivity: Label: en
- The Semantics of Datalog for the Evidential Tool Bus: Label: en
- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way): Label: en
- Towards a Combination of CafeOBJ and PAT: Label: en
- Model Checking TLR* Guarantee Formulas on Infinite Systems: Label: en
- Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications: Label: en
- Parchments for CafeOBJ Logics: Label: en
- CafeOBJ Traces: Label: en
- Domain Endurants: Label: en
