✦ LIBER ✦

Problems of inclusion and equivalence for program schemata and formal languages

✍ Scribed by L. P. Lisovik

Publisher: Springer US
Year: 1993
Tongue: English
Weight: 750 KB
Volume: 29
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01132781

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the equivalence and containment probl

On the equivalence and containment problems for context-free languages

✍ J. E. Hopcroft 📂 Article 📅 1969 🏛 Springer 🌐 English ⚖ 407 KB

Decision problems concerning thinness an

Decision problems concerning thinness and slenderness of formal languages

✍ Juha Honkala 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 116 KB

Consistent and complementary formal theo

Consistent and complementary formal theories of the semantics of programming languages

✍ C. A. R. Hoare; P. E. Lauer 📂 Article 📅 1974 🏛 Springer-Verlag 🌐 English ⚖ 907 KB

The Equivalence Problem for DF0L Languag

The Equivalence Problem for DF0L Languages and Power Series

✍ Juha Honkala 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 158 KB

We show that equivalence is decidable for D0L systems with finite axiom sets. We discuss also DF0L power series and solve their equivalence problem over computable fields.

Existence and equivalence with an optimi

Existence and equivalence with an optimization problem for some difference inclusions

✍ N.C. Apreutesei 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 311 KB

Parameter-free convex equivalent and dua

Parameter-free convex equivalent and dual programs of fractional programming problems

✍ S. Schaible 📂 Article 📅 1974 🏛 Springer 🌐 English ⚖ 426 KB