Works matching IS 18605974 AND DT 2019 AND VI 15 AND IP 4
Results: 6
RULE FORMATS FOR NOMINAL PROCESS CALCULI.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 4, p. 1, doi. 10.23638/LMCS-15(4:2)2019
- By:
- Publication type:
- Article
SCALAR AND VECTORIAL μ-CALCULUS WITH ATOMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 4, p. 1, doi. 10.23638/LMCS-15(4:5)2019
- By:
- Publication type:
- Article
ON THE ENUMERATION OF CLOSURES AND ENVIRONMENTS WITH AN APPLICATION TO RANDOM GENERATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 4, p. 1, doi. 10.23638/LMCS-15(4:3)2019
- By:
- Publication type:
- Article
ON COMPLETENESS AND PARAMETRICITY IN THE REALIZABILITY SEMANTICS OF SYSTEM F.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 4, p. 1, doi. 10.23638/LMCS-15(4:6)2019
- By:
- Publication type:
- Article
ψ1 AND THE MODAL μ-CALCULUS: In memory of Zoltán Ésik.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 4, p. 1, doi. 10.23638/LMCS-15(4:1)2019
- By:
- Publication type:
- Article
ON FREE ω-CONTINUOUS AND REGULAR ORDERED ALGEBRAS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 4, p. 1, doi. 10.23638/LMCS-15(4:4)2019
- By:
- Publication type:
- Article