✦ LIBER ✦

The ultimate equivalence problem for DOL systems

✍ Scribed by Karel Culik

Publisher: Springer-Verlag
Year: 1978
Tongue: English
Weight: 346 KB
Volume: 10
Category: Article
ISSN: 0001-5903
DOI: 10.1007/bf00260925

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The decidability of the DOL-DTOL equival

The decidability of the DOL-DTOL equivalence problem

✍ Keijo Ruohonen 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 660 KB

On the equivalence problem for regular T

On the equivalence problem for regular Thue systems

✍ Paliath Narendran 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 531 KB

Complete formal systems for equivalence

Complete formal systems for equivalence problems

✍ Géraud Sénizergues 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 181 KB

We describe four complete and recursively enumerable formal systems S0; D0; H0; B0. Each one of them proves the decidability of some equivalence problem for some class of automata: namely the language equivalence problem for simple automata, the language equivalence problem for deterministic pushdow

The Equivalence Problem for Finite Rings

✍ Stanley Burris; John Lawrence 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 119 KB

Equivalence transformation for the filtr

Equivalence transformation for the filtration problem

✍ H.A. Zedan 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 237 KB

Equivalent boundary value problems for s

Equivalent boundary value problems for self-adjoint differential systems

✍ Calvin D Ahlbrandt 📂 Article 📅 1971 🏛 Elsevier Science 🌐 English ⚖ 842 KB