Thomas Prokosch

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Automatic Evaluation

Top Venues

ICLP Technical Communications

PAAR+SC²@IJCAR

Publications

Thomas Prokosch, Sven Strickroth
Automatic Evaluation of Haskell Assignments Using Existing Haskell Tooling. ABP (2023)
Thomas Prokosch, François Bry
Unification on the Run. UNIF (2020)
Thomas Prokosch, François Bry
Give Reasoning a Trie. PAAR+SC²@IJCAR (2020)
Thomas Prokosch
A Low-Level Index for Distributed Logic Programming. ICLP Technical Communications (2020)