Login / Signup
Norbert Preining
Publication Activity (10 Years)
Years Active: 1997-2024
Publications (10 Years): 6
Top Topics
Natural Deduction
Inference Rules
Datalog Queries
Predicate Logic
Top Venues
J. Log. Comput.
Soft Comput.
LICS
CoRR
</>
Publications
</>