Danel Ahman

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 24

Top Topics

Derived Predicates

Defeasible Logic

Sound And Complete Axiomatization

Concurrent Programs

Top Venues

Proc. ACM Program. Lang.

Publications