Works matching IS 18605974 AND DT 2020 AND VI 16 AND IP 2
Results: 2
AN INTEGRATED FIRST-ORDER THEORY OF POINTS AND INTERVALS OVER LINEAR ORDERS (PART II).
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 2, p. 1, doi. 10.23638/LMCS-16(2:1)2020
- By:
- Publication type:
- Article
REACHABILITY FOR INFINITE TIME TURING MACHINES WITH LONG TAPES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 2, p. 1, doi. 10.23638/LMCS-16(2:2)2020
- By:
- Publication type:
- Article