✦ LIBER ✦

Minimal Ascending and Descending Tree Automata

✍ Scribed by Nivant, Maurice; Podelski, Andreas

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Incremental Construction of Minimal Tree

✍ Rafael C. Carrasco; Jan Daciuk; Mikel L. Forcada 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 373 KB

Minimizing deterministic weighted tree a

✍ Andreas Maletti 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 278 KB

The minimalization of tree automata

✍ Walter S. Brainerd 📂 Article 📅 1968 🏛 Elsevier Science ⚖ 340 KB

R70-10 The Minimalization of Tree Automa

✍ Arbib, M.A. 📂 Article 📅 1970 🏛 IEEE 🌐 English ⚖ 221 KB

Minimization of combinational multiplexo

✍ S. A. Mikhailov 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 478 KB

Optional stopping on ascending and desce

✍ Philip Brickman 📂 Article 📅 1972 🏛 Elsevier Science ⚖ 573 KB