Login / Signup
Wolfram Kahl
ORCID
Publication Activity (10 Years)
Years Active: 1994-2020
Publications (10 Years): 12
Top Topics
Anti Unification
Graph Structures
Datalog Queries
Computer Science
Top Venues
RAMiCS
J. Log. Algebraic Methods Program.
CASCON
WADT
</>
Publications
</>