A Congruence Relation for Restructuring Classical Terms

Pierre Lescanne; Dragisa Zunic

Conference papers

A Congruence Relation for Restructuring Classical Terms

Pierre Lescanne ¹ Dragisa Zunic ²

1 LIP - Laboratoire de l'Informatique du Parallélisme

2 Carnegie Mellon University in Qatar

Document type :

Conference papers

Domain :

Computer Science [cs] / Logic in Computer Science [cs.LO]

Mathematics [math] / Combinatorics [math.CO]

Mathematics [math] / Logic [math.LO]

Complete list of metadatas

https://hal-ens-lyon.archives-ouvertes.fr/ensl-01892440
Contributor : Pierre Lescanne <>
Submitted on : Wednesday, October 10, 2018 - 4:06:41 PM
Last modification on : Thursday, November 21, 2019 - 2:31:07 AM

A Congruence Relation for Restructuring Classical Terms

Identifiers

Collections

Citation

Export

Metrics

99

A Congruence Relation for Restructuring Classical Terms

Identifiers

Collections

Citation

Export

Share

Metrics

99