✦ LIBER ✦

The taming of recurrences in computability logic through cirquent calculus, Part I

✍ Scribed by Japaridze, Giorgi

Book ID: 120316037
Publisher: Springer
Year: 2012
Tongue: English
Weight: 366 KB
Volume: 52
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s00153-012-0313-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The taming of recurrences in computabili

The taming of recurrences in computability logic through cirquent calculus, Part II

✍ Japaridze, Giorgi 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 479 KB

Unification of nonlinear filtering in th

Unification of nonlinear filtering in the context of binary logical calculus, part I: Binary filters

✍ Edward R. Dougherty; Robert M. Haralick 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 891 KB

The mathematical structure of nonlinear filtering is expressed in the context of binary logic. This first part of a two-part study concerns the binary setting. Operator properties, such as antiextensivity and idempotence, are expressed in finite logical expressions, as are the Matheron representatio