Counting Environments and Closures

Pierre Lescanne; Maciej Bendkowski

doi:10.4230/LIPIcs.FSCD.2018.11

Conference papers

Counting Environments and Closures

Pierre Lescanne ¹ Maciej Bendkowski ²

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

2 TCS - Theoretical Computer Science Department [Krakow]

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 metadata

https://hal-ens-lyon.archives-ouvertes.fr/ensl-01892406
Contributor : Pierre Lescanne <>
Submitted on : Wednesday, October 10, 2018 - 3:47:17 PM
Last modification on : Friday, June 25, 2021 - 3:40:04 PM

Counting Environments and Closures

Identifiers

Collections

Citation

Export

Metrics

93

Counting Environments and Closures

Identifiers

Collections

Citation

Export

Share

Metrics

93