The following pages link to Centaur (Q41255):
Displayed 18 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Nominal abstraction (Q617715) (← links)
- Compilation of the ELECTRE reactive language into finite transition systems (Q673127) (← links)
- Implementing type systems for the IDE with Xsemantics (Q739624) (← links)
- Comparison of priority rules in pattern matching and term rewriting (Q808264) (← links)
- An NSF proposal (Q815007) (← links)
- Tool-assisted specification and verification of typed low-level languages (Q861687) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- The calculus of context relations (Q918720) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Implementing the cut-and-paste operation in a structured editing system (Q1381738) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Towards semantic mathematical editing (Q2348287) (← links)
- A Rewriting Logic Approach to Operational Semantics (Extended Abstract) (Q2871834) (← links)
- A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters (Q2873785) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- Preserving Syntactic Correctness While Editing Mathematical Formulas (Q4610027) (← links)
- CtCoq: A system presentation (Q4647518) (← links)