The following pages link to Logical foundations of CafeOBJ (Q1608919):
Displaying 28 items.
- Foundations for structuring behavioural specifications (Q406465) (← links)
- Coinduction for preordered algebra (Q627121) (← links)
- Grothendieck inclusion systems (Q657588) (← links)
- Quasi-Boolean encodings and conditionals in algebraic specification (Q844886) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Principles of proof scores in CafeOBJ (Q1929233) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (Q2254574) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- Herbrand theorems in arbitrary institutions (Q2390213) (← links)
- Behavioural specification for hierarchical object composition (Q2571203) (← links)
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification (Q2715825) (← links)
- Model-Driven Engineering in the Heterogeneous Tool Set (Q2797864) (← links)
- Comparing Meseguer's rewriting logic with the logic CRWL (Q2841300) (← links)
- Constructor-Based Institutions (Q2888501) (← links)
- Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244) (← links)
- Foundations of the rule-based system ρLog (Q3647259) (← links)
- (Q4222983) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
- CafeOBJ Traces (Q5403067) (← links)
- Parchments for CafeOBJ Logics (Q5403068) (← links)
- On Automation of OTS/CafeOBJ Method (Q5403084) (← links)
- (Heterogeneous) structured specifications in logics without interpolation (Q6599623) (← links)
- Maude2Lean: theorem proving for Maude specifications using Lean (Q6643468) (← links)
