Thomas Prokosch

According to our database, Thomas Prokosch authored at least 4 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Automatic Evaluation of Haskell Assignments Using Existing Haskell Tooling.

Thomas Prokosch, Sven Strickroth

Proceedings of the Sixth Workshop "Automatische Bewertung von Programmieraufgaben", 2023

2020

A Low-Level Index for Distributed Logic Programming.

Thomas Prokosch

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Unification on the Run.

Thomas Prokosch, François Bry

Proceedings of the 34th International Workshop on Unification, 2020

Give Reasoning a Trie.

Thomas Prokosch, François Bry

Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020