Pages that link to "Item:Q5704000"
From MaRDI portal
The following pages link to Recent Trends in Algebraic Development Techniques (Q5704000):
Displaying 6 items.
- Algebraic simulations (Q844884) (← links)
- Equational abstractions (Q944377) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Abstraction and Completeness for Real-Time Maude (Q2873773) (← links)
- Modularity of Ontologies in an Arbitrary Institution (Q2945717) (← links)
