Search Results - Aytac, Jon
-
1
-
2
-
3
-
4
-
5
-
6
-
7
Topos Semantics for a Higher-Order Temporal Logic of Actions
Published in arXiv.orgGet full text
Article -
8
Some Coxeter Groups in Reversible and Quantum Compuation
Published in arXiv.orgGet full text
Article -
9
-
10
-
11
Finite temperature quantum simulation of stabilizer Hamiltonians
Published in arXiv.orgGet full text
Article -
12
-
13
-
14