The following pages link to (Q4346205):
Displayed 5 items.
- The rewriting logic semantics project (Q877024) (← links)
- Algebraic translations, correctness and algebraic compiler construction (Q1129121) (← links)
- A hidden agenda (Q1575735) (← links)
- A hidden Herbrand theorem: Combining the object and logic paradigms (Q1858427) (← links)
- On the interpretation of mathematical entities in the formalisation of programming and modelling languages (Q3545271) (← links)