Login / Signup
Fabian Skrlac
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Database
Normal Logic Programs
Fixpoint
Answer Sets
Top Venues
PEPM
</>
Publications
</>
Michael Hanus
,
Fabian Skrlac
A modular and generic analysis server system for functional logic programs.
PEPM
(2014)