Evaluating Datalog via Tree Automata and Cycluits
Amarilli, Antoine, Bourhis, Pierre, Monet, Mikaël, Senellart, PierreLangue:
english
Journal:
Theory of Computing Systems
DOI:
10.1007/s00224-018-9901-2
Date:
January, 2019
Fichier:
PDF, 1.44 MB
english, 2019