Works matching IS 10798986 AND DT 2017 AND VI 23 AND IP 2
Results: 10
Temporal Logics in Computer Science: Finite-state Systems.
- Published in:
- Bulletin of Symbolic Logic, 2017, v. 23, n. 2, p. 203, doi. 10.1017/bsl.2017.20
- By:
- Publication type:
- Article
WORKSHOP ON FOUNDATIONS OF MATHEMATICS: UNIVALENT FOUNDATIONS AND SET THEORY (FOMUS 2016): CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC.
- Published in:
- 2017
- By:
- Publication type:
- Proceeding
23RD WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2016): CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC.
- Published in:
- 2017
- By:
- Publication type:
- Proceeding
2016 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '16 Leeds, UK July 31-August 6, 2016.
- Published in:
- 2017
- By:
- Publication type:
- Proceeding
2016 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC: Hilton Chicago Palmer House Hotel Chicago, Illinois March 2-5, 2016.
- Published in:
- 2017
- By:
- Publication type:
- Product Review
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION.
- Published in:
- Bulletin of Symbolic Logic, 2017, v. 23, n. 2, p. 181, doi. 10.1017/bsl.2017.13
- By:
- Publication type:
- Article
FORCING WITH BUSHY TREES.
- Published in:
- Bulletin of Symbolic Logic, 2017, v. 23, n. 2, p. 160, doi. 10.1017/bsl.2017.12
- By:
- Publication type:
- Article
Metrizable universal minimal flows of Polish groups have a comeagre orbit.
- Published in:
- Bulletin of Symbolic Logic, 2017, v. 23, n. 2, p. 201, doi. 10.1017/bsl.2017.9
- By:
- Publication type:
- Article
SOME DEFINABLE GALOIS THEORY AND EXAMPLES.
- Published in:
- Bulletin of Symbolic Logic, 2017, v. 23, n. 2, p. 145, doi. 10.1017/bsl.2017.2
- By:
- Publication type:
- Article
HILBERT-BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2016: CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC.
- Published in:
- Bulletin of Symbolic Logic, 2017, v. 23, n. 2, p. 269, doi. 10.1017/bsl.2017.18
- By:
- Publication type:
- Article