Login / Signup
Lior Moyal
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Search Algorithm
Logic Synthesis
Sound And Complete Axiomatization
Deontic Logic
Top Venues
Integr.
</>
Publications
</>
Lior Moyal
,
Itamar Levi
,
Adam Teman
,
Alexander Fish
Synthesis of Dual Mode Logic.
Integr.
55 (2016)