Conference: WiL 2018 (Women in Logic 2018)

Conference: WiL 2018 (Women in Logic 2018)

This page shows all presentations from this conference published in EasyChair Smart Slide.

First-Order vs. Second-Order Encodings for LTLf-to-Automata: An Extended Abstract

First-Order vs. Second-Order Encodings for LTLf-to-Automata: An Extended Abstract

Shufang Zhu, Geguang Pu and Moshe Vardi

About the unification type of topological logics over Euclidean spaces

About the unification type of topological logics over Euclidean spaces

Presentations in this collection: 2