✦ LIBER ✦

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

✍ Scribed by Japaridze, Giorgi

Book ID: 120316038
Publisher: Springer
Year: 2012
Tongue: English
Weight: 479 KB
Volume: 52
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s00153-012-0314-7

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 I

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

Unification of nonlinear filtering in th

Unification of nonlinear filtering in the context of binary logical calculus, part II: Gray-scale filters

✍ Edward R. Dougherty 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 639 KB

This second part of a two-part study concerning the logical structure of nonlinear filters treats gray-scale filters. The algebraic framework of threshold decomposition is dedscribed in terms of the appropriate underlying commuting diagram, along with the manner in which generalized stack filters fa