𝔖 Bobbio Scriptorium

✦ LIBER ✦

Determinateness of program equivalence over Peano axioms

✍ Scribed by L. Csirmaz

Publisher: Elsevier Science
Year: 1982
Tongue: English
Weight: 464 KB
Volume: 21
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(89)90086-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The distribution of activation energy fo

The distribution of activation energy for hydrogen desorption over silica-supported nickel catalysts determined from temperature-programmed desorption spectra

✍ Masahiko Arai; Yoshiyuki Nishiyama; Takao Masuda; Kenji Hashimoto 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 780 KB

Comparison of two-sided automata with re

Comparison of two-sided automata with respect to operating time and decidability in the problem of functional equivalence in a certain class of discrete transducers and program schemes over memory

✍ S. K. Shukuryan 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 699 KB