Login / Signup
Katherine Fletcher
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Graphics And Image Processing
Sound And Complete Axiomatization
Workshop Proceedings
Asynchronous Circuits
Top Venues
ACM SIGLOG News
</>
Publications
</>
Daniele Ahmed
,
Katherine Fletcher
,
Julian Gutierrez
Federated logic conference (FLoC) at Oxford.
ACM SIGLOG News
5 (4) (2018)