Pages that link to "Item:Q5705902"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705902):
Displaying 7 items.
- Programs with lists are counter automata (Q537953) (← links)
- Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
- Automated verification of functional correctness of race-free GPU programs (Q1703009) (← links)
- Compositional satisfiability solving in separation logic (Q2234106) (← links)
- Decidability of the Existential Theory of the Set of Natural Numbers with Order, Divisibility, Power Functions, Power Predicates, and Constants (Q3987627) (← links)
- Arithmetic of divisibility in finite models (Q4459597) (← links)
- Positive existential Definability with unit, addition and coprimeness (Q6666557) (← links)