Login / Signup
Jon Aytac
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 2
Top Topics
Temporally Extended Goals
Dynamic Constraints
Quantum Computing
Temporal Logic
Top Venues
CoRR
ACT
</>
Publications
</>
Philip Johnson-Freyd
,
Jon Aytac
,
Geoffrey C. Hulette
Topos Semantics for a Higher-Order Temporal Logic of Actions.
ACT
(2019)
Jon Aytac
,
Ammar Husain
Some Coxeter Groups in Reversible and Quantum Compuation.
CoRR
(2018)