Login / Signup
Myrthe van Delft
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Real Valued
Complex Systems
Evolutionary Algorithm
Building Blocks
Top Venues
ITP
</>
Publications
</>
Myrthe van Delft
,
Herman Geuvers
,
Tim A. C. Willemse
A Formalisation of Consistent Consequence for Boolean Equation Systems.
ITP
(2017)