Counting Environments and Closures

Conference Papers Year :

(1) , (2)

1
2

Pierre Lescanne

Laboratoire de l'Informatique du Parallélisme

Maciej Bendkowski

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

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

Submitted on : Wednesday, October 10, 2018-3:47:17 PM

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

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

Pierre Lescanne, Maciej Bendkowski. Counting Environments and Closures. FSCD 2018, Jul 2018, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2018.11⟩. ⟨ensl-01892406⟩

ENS-LYON CNRS INRIA UNIV-LYON1 INSMI LIP_PLUME UDL

55 View

0 Download