✦ LIBER ✦

A Calculus for “environment-aware” computation

✍ Scribed by Viviana Bono; Ferruccio Damiani; Paola Giannini

Book ID: 108498265
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 208 KB
Volume: 66
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80418-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Alias types for “environment-aware” comp

Alias types for “environment-aware” computations

✍ Ferruccio Damiani; Paola Giannini 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 234 KB

Context Awareness in Mobile Computing En

Context Awareness in Mobile Computing Environments

✍ Christos B. Anagnostopoulos; Athanasios Tsounis; Stathes Hadjiefthymiades 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 247 KB

Calculus for Computer Graphics

✍ Vince, John 📂 Fiction 🏛 Springer London, London 🌐 English ⚖ 2 MB

A sequent calculus for limit computable

A sequent calculus for limit computable mathematics

✍ Stefano Berardi; Yoriyuki Yamagata 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 353 KB

A Sequent Calculus for Automated Reasoni

A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems

✍ Gianna Cioni; Attilio Colagrossi; Alfonso Miola 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 680 KB

In this paper the problem of reasoning on properties of mathematical objects is considered in the context of symbolic computation. Automated reasoning mechanisms are proposed as a new basic computing tool in a symbolic computation system. These mechanisms are aimed to support the semantical correctn

A Symbolic Semantics for a Calculus for

A Symbolic Semantics for a Calculus for Service-Oriented Computing

✍ Rosario Pugliese; Francesco Tiezzi; Nobuko Yoshida 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 591 KB