Works matching IS 26319810 AND DT 2024 AND VI 11 AND IP 2
Results: 5
CORRIGENDUM TO: QUANTUM ALGORITHMS FOR UNATE AND BINATE COVERING PROBLEMS WITH APPLICATION TO FINITE STATE MACHINE MINIMIZATION.
- Published in:
- Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP), 2024, v. 11, n. 2, p. 253
- Publication type:
- Article
A CATEGORICAL EQUIVALENCE FOR TENSE PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICE.
- Published in:
- Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP), 2024, v. 11, n. 2, p. 237
- By:
- Publication type:
- Article
FORMALIZATION OF THE TELEGRAPHER'S EQUATIONS USING HIGHER-ORDER-LOGIC THEOREM PROVING.
- Published in:
- Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP), 2024, v. 11, n. 2, p. 197
- By:
- Publication type:
- Article
ESEMIHOOPS.
- Published in:
- Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP), 2024, v. 11, n. 2, p. 159
- By:
- Publication type:
- Article
INTUITIONISTIC VIEWS ON CONNEXIVE CONSTRUCTIBLE FALSITY.
- Published in:
- Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP), 2024, v. 11, n. 2, p. 125
- By:
- Publication type:
- Article