Recherche et sélection de publications
Ajouter une publication
Importer au format BibTeX
Importer depuis HAL
Interface en ou

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


Responsable du service
Dominique Asselineau dominique.asselineau@telecom-paristech.fr
Copyright © 1998-2017, Télécom ParisTech/Dominique Asselineau