SizeChangeTool: A Termination Checker for Rewriting Dependent Types

Autor:	Genestier, Guillaume
Přispěvatelé:	Laboratoire Spécification et Vérification [Cachan] (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Centre de Recherche en Informatique (CRI), Mines Paris - PSL (École nationale supérieure des mines de Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL), Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Mauricio Ayala-Rincón, Silvia Ghilezan, Jakob Grue Simonsen, MINES ParisTech - École nationale supérieure des mines de Paris
Jazyk:	angličtina
Rok vydání:	2019
Předmět:	[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ComputingMilieux_MISCELLANEOUS
Zdroj:	HOR 2019-10th International Workshop on Higher-Order Rewriting HOR 2019-10th International Workshop on Higher-Order Rewriting, Jun 2019, Dortmund, Germany. pp.14-19
Popis:	International audience
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ea2ca527e41d8d0dfd66851901694eee https://hal.science/hal-02442465 Zobrazit plný text záznamu