A Congruence Relation for Restructuring Classical Terms

Pierre Lescanne; Dragisa Zunic

Conference Papers Year :

A Congruence Relation for Restructuring Classical Terms

(1) , (2)

1
2

Pierre Lescanne

Function : Author
PersonId : 7069
IdHAL : pierre-lescanne
ORCID : 0000-0001-9512-5276
IdRef : 034011382

Laboratoire de l'Informatique du Parallélisme

CV

Dragisa Zunic

Function : Author

Carnegie Mellon University in Qatar

Domains

Computer Science [cs] Logic in Computer Science [cs.LO] Mathematics [math] Combinatorics [math.CO] Mathematics [math] Logic [math.LO]

Pierre Lescanne : Connect in order to contact the contributor

https://hal-ens-lyon.archives-ouvertes.fr/ensl-01892440

Submitted on : Wednesday, October 10, 2018-4:06:41 PM

Last modification on : Thursday, September 29, 2022-2:58:07 PM

Dates and versions

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

Identifiers

HAL Id : ensl-01892440 , version 1

Cite

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⟩

A Congruence Relation for Restructuring Classical Terms

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share