Pages that link to "Item:Q6500549"
From MaRDI portal
The following pages link to Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (Q6500549):
Displaying 5 items.
- Intuitionistic views on connexive constrictible falsity (Q6500550) (← links)
- Esemihoops (Q6500551) (← links)
- Formalization of the telegrapher's equations using higher-order-logic theorem proving (Q6500552) (← links)
- A categorical equivalence for tense pseudocomplemented distributive lattice (Q6500554) (← links)
- Corrigendum to: ``Quantum algorithms for unate and binate covering problems with application to finite state machine minimization'' (Q6500555) (← links)
