The following pages link to (Q4329260):
Displaying 6 items.
- Exploring tabular verification and refinement (Q706515) (← links)
- Defining the meaning of tabular mathematical expressions (Q988184) (← links)
- Recursive tables and effective definition schemes (Q1858431) (← links)
- The interchange format of tabular expressions using XML (Q2026556) (← links)
- Tabular verification and refinement (Q2844825) (← links)
- Tabular expressions operators (Q2909625) (← links)