![](/img/cover-not-exists.png)
From template analysis to generating partitions: II: Characterization of the symbolic encodings
Jérôme Plumecoq, Marc LefrancVolume:
144
Year:
2000
Language:
english
Pages:
20
DOI:
10.1016/s0167-2789(00)00083-x
File:
PDF, 491 KB
english, 2000