✦ LIBER ✦

A canonical form algorithm for proving equivalence of conditional forms

✍ Scribed by Hanan Samet

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Equivalence conditions for behaviors and

✍ P. A. Fuhrmann; U. Helmke 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 279 KB

A simple algorithm for computing canonic

✍ H. Ford; L.R. Hunt; Renjeng Su 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 904 KB

Algebraic conditions for state equivalen

✍ Hong-Gi Lee; Jin-Man Hong 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 273 KB

A Computer Algorithm for Minimizing Reed

✍ Fleisher, H.; Tavel, M.; Yeager, J. 📂 Article 📅 1987 🏛 IEEE 🌐 English ⚖ 824 KB

A canonical form return mapping algorith

✍ M. A. Keavey 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 125 KB

An algorithm for calculation of the Jord

✍ B. Sridhar; D. Jordan 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 505 KB