Login / Signup
Gábor Alagi
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Cooperative
Multiscale
Pairwise
Bounded Model Checking
Top Venues
CoRR
FroCos
</>
Publications
</>
Gábor Alagi
,
Christoph Weidenbach
NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Full Paper).
CoRR
(2015)
Gábor Alagi
,
Christoph Weidenbach
NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment.
FroCos
(2015)