Login / Signup
Allan C. van Hulst
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Logic Synthesis
Information Retrieval
Multi Valued
Proof Theory
Top Venues
ACM Trans. Embed. Comput. Syst.
</>
Publications
</>
Allan C. van Hulst
,
Michel A. Reniers
,
Wan J. Fokkink
Maximal Synthesis for Hennessy-Milner Logic.
ACM Trans. Embed. Comput. Syst.
14 (1) (2015)