Skip to content

GitLab

Explore

Sign in

Mario Wenzel
push-am-hs

P

push-am-hs

Project information

Abtract Machine for Push Bottom-Up Evaluation of Datalog in Haskell

21 Commits
1 Branch
0 Tags

README

Created on

April 11, 2018

Copy SSH clone URLgit@gitlab.informatik.uni-halle.de:mwenzel/push-am-hs.git
Copy HTTPS clone URLhttps://gitlab.informatik.uni-halle.de/mwenzel/push-am-hs.git