✦ LIBER ✦

The Equivalence of Sequential Machine Models

✍ Scribed by Hartmanis, Juris

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Equivalence of Finite-State Seque

✍ Ibarra, Oscar H. 📂 Article 📅 1967 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 555 KB

Determination of equivalence between qua

✍ Lvzhou Li; Daowen Qiu 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 212 KB

Models of sequential programs used to st

✍ R. I. Podlovchenko 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 970 KB

On the verification of sequential equiva

✍ Jiang, J.-H.R.; Brayton, R.K. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 838 KB

On equivalent circuit modeling for synch

✍ Slemon, G.R.; Awad, M.L. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 497 KB

A functional model of a simplified seque

✍ Jerzy A. Piotrowski 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 485 KB