Login / Signup

Nils Anders Danielsson

ORCID

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 7

Top Topics

Type Checking
Rule Learning
Significantly Higher
Inductive Reasoning

Top Venues

Proc. ACM Program. Lang.
FoSSaCS
CoRR
LICS

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History
Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications