The following pages link to (Q2735802):
Displayed 4 items.
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)
- Rasiowa-Sikorski deduction systems in computer science applications. (Q1853457) (← links)
- Compiling dyadic first-order specifications into map algebra (Q1870581) (← links)
- A multimodal logic for reasoning about complementarity (Q4443402) (← links)