Explore projects
-
-
-
-
-
Abstract Machine for Bottom-Up Evaluation in Deductive Databases with the Push Method
Updated -
-
-
-
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated
-
A local fork of eli adding support for C++ compilation, a DSL on top of lido and fixing some TP errors
Updated -
Updated
-
Updated
-
SRU-Daten zum Verlagsarchiv Gebauer-Schwetschke (dikon.pages.gwdg.de/vag-sru)
Updated -
GND-Nummern für das Hallesche Druckwesen (dikon.pages.gwdg.de/hdw-gnd)
Updated