A Congruence Relation for Restructuring Classical Terms - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

A Congruence Relation for Restructuring Classical Terms

Pierre Lescanne
Laboratoire de l'Informatique du Parallélisme
CV
Dragisa Zunic
  • Fonction : Auteur
Carnegie Mellon University in Qatar

Domaines

Logique en informatique [cs.LO] Combinatoire [math.CO] Logique [math.LO]

Pierre Lescanne  : Connectez-vous pour contacter le contributeur

https://ens-lyon.hal.science/ensl-01892440

Soumis le : mercredi 10 octobre 2018-16:06:41

Dernière modification le : vendredi 5 avril 2024-10:13:31

Fichier non déposé

Dates et versions

ensl-01892440 , version 1 (10-10-2018)

Identifiants

  • HAL Id : ensl-01892440 , version 1

Citer

Pierre Lescanne, Dragisa Zunic. A Congruence Relation for Restructuring Classical Terms. 18th Italian Conference on Theoretical Computer Science, Oct 2018, Naples, Italy. pp.186-197. ⟨ensl-01892440⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 LIP_PLUME UDL
81 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More