The following pages link to (Q3791123):
Displayed 13 items.
- First-order spectra with one variable (Q909462) (← links)
- Positive versions of polynomial time (Q1281503) (← links)
- Stratified least fixpoint logic (Q1331926) (← links)
- On the completeness of propositional Hoare logic (Q1602554) (← links)
- Leveraging Horn clause solving for compositional verification of PLC software (Q2177778) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Comparison of expressive power of some query languages for databases (Q2510772) (← links)
- Symbioses between mathematical logic and computer science (Q2630825) (← links)
- Horn Clause Solvers for Program Verification (Q2947164) (← links)
- Existential Fixed-Point Logic as a Fragment of Second-Order Logic (Q2947165) (← links)
- Existential Fixed-Point Logic, Universal Quantifiers, and Topoi (Q3585999) (← links)
- One Useful Logic That Defines Its Own Truth (Q3599112) (← links)
- Infinitary logic for computer science (Q5204339) (← links)