On Building Trees with Minimum Height, Relationally
No abstract available.
Related papers
- On Building Trees with Minimum Height JFP 1997
- Generation of Minimum Tree-Like Witnesses for Existential CTL TACAS 2018
- Three Algorithms on Braun Trees JFP 1997
- Polyregular Functions on Unordered Trees of Bounded Height POPL 2024
- A Distributed Algorithm for Minimum-Weight Spanning Trees TOPLAS 1983
- Hierarchical VLSI Design Systems Based on Attribute Grammars POPL 1986
- Relationally-parametric polymorphic contracts DLS 2007
- A relationally parametric model of dependent type theory POPL 2014