%0 Generic
%T Higher-Order Confluence and Universe Embedding in the Logical Framework ; Confluence d'ordre supérieur et encodage d'univers dans le Logical Framework
%A Ferey, Gaspard
%A université Paris-Saclay
%A Dowek, Gilles
%K Formal methods
%K Termination
%K Traduction de logiques
%K Réécriture
%K Confluence
%K Logic system translation
%K Rewriting techniques
%K Terminaison
%K Méthodes formelles
%D 2021-06-30
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation