Pages that link to "Item:Q2703747"
From MaRDI portal
The following pages link to Operational techniques in PVS -- a preliminary evaluation (Q2703747):
Displaying 8 items.
- Formalisation in constructive type theory of Stoughton's substitution for the lambda calculus (Q530864) (← links)
- A formalization of the Knuth-Bendix(-Huet) critical pair theorem (Q616850) (← links)
- Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations (Q853738) (← links)
- The ESA XMM-Newton science operations centre: making basic space science available to the whole scientific world' (Q863235) (← links)
- On generic context lemmas for higher-order calculi with sharing (Q960863) (← links)
- A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names. (Q1401936) (← links)
- PVS\#: streamlined tacticals for PVS (Q2864359) (← links)
- A PVS Theory for Term Rewriting Systems (Q5178962) (← links)