The following pages link to Sigurd Schneider (Q1687760):
Displayed 4 items.
- Verified spilling and translation validation with repair (Q1687761) (← links)
- A Linear First-Order Functional Intermediate Language for Verified Compilers (Q2945646) (← links)
- Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies (Q5892513) (← links)
- Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies (Q5902295) (← links)