✦ LIBER ✦

Decidability of mean value calculus

✍ Scribed by Xiaoshan Li

Publisher: Springer
Year: 1999
Tongue: English
Weight: 514 KB
Volume: 14
Category: Article
ISSN: 1000-9000
DOI: 10.1007/bf02946525

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof of decidability of the traditional

Proof of decidability of the traditional calculus of names

✍ Bogusław Iwanuś 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 751 KB

A new decidable Horn fragment of predica

A new decidable Horn fragment of predicate calculus

✍ V. P. Orevkov 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 372 KB

On the decidability of process equivalen

On the decidability of process equivalences for the π-calculus

✍ Mads Dam 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 994 KB

We present general results for showing process equivalences applied to the finite control fragment of the z-calculus decidable. Firstly, a Finite Reachability Theorem states that up to finite name spaces and up to a static normalisation procedure, the set of reachable agent expressions is finite. Se

Decidability of the restriction equation

Decidability of the restriction equational theory in the partial lambda calculus

✍ Ramón Pino Perez 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 954 KB

A calculus of semantic values

✍ Benny Shanon 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 700 KB

The calculus of fuzzy valued functions

✍ Osmo Kaleva 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 289 KB