The following pages link to (Q4133082):
Displayed 6 items.
- A logic covering undefinedness in program proofs (Q790610) (← links)
- Using circular programs to eliminate multiple traversals of data (Q800713) (← links)
- Multi-valued logic and Gröbner bases with applications to modal logic (Q804567) (← links)
- Characteristics of graph languages generated by edge replacement (Q1098320) (← links)
- Fixed point theorems and semantics: A folk tale (Q1166268) (← links)
- Duration calculus: Logical foundations (Q1377324) (← links)