The following pages link to (Q3032225):
Displayed 30 items.
- On the correctness of modular systems (Q674009) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- An algebraic semantics for structured transition systems and its application to logic programs (Q1199528) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- Virtual worlds as meeting places for formal systems (Q1402195) (← links)
- Towards an integration science. The influence of Richard Bellman on our research. (Q1584626) (← links)
- On local modularity variants and \(\Pi\)-institutions (Q1603411) (← links)
- A coalgebraic equational approach to specifying observational structures (Q1603815) (← links)
- On a generalized modularization theorem (Q1607048) (← links)
- ELAN from a rewriting logic point of view (Q1608914) (← links)
- Reflection in conditional rewriting logic (Q1608918) (← links)
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- On local modularity and interpolation in entailment systems. (Q1853014) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Structured theories and institutions (Q1884906) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Development graphs -- proof management for structured specifications (Q2369033) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Powersets of terms and composite monads (Q2457025) (← links)
- Structures for abstract rewriting (Q2642463) (← links)