Evaluating Datalog via Tree Automata and Cycluits

Antoine Amarilli #1, Pierre Bourhis #2, Mikaël Monet #1 #3, Pierre Senellart #4

#1	Laboratoire traitement et communication de l'information (LTCI) Télécm ParisTech Institut Mines-Télécom Université Paris-Saclay
#2	Linking Dynamic Data (LINKS) INRIA Lille - Nord Europe Centre de Recherche en Informatique, Signal et Automatique de Lille
#3	Télécom ParisTech Institut Mines-Télécom
#4	Département d'informatique de l'École normale supérieure (DI-ENS) Centre National de la Recherche Scientifique Institut National de Recherche en Informatique et en Automatique École normale supérieure - Paris

References

ToCS, January 2019,

Abstract

Keywords

Category

Article in peer reviewed Journal

Research Area(s)

Identifier(s)

Bibliographic key amarilli2018evaluating

File(s)

Export

Last update

on january 16, 2019 by Antoine Amarilli