✦ LIBER ✦

Continuous Domains in Logical Form

✍ Scribed by Mathias Kegelmann

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 109 KB
Volume: 49
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80582-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Subtyping in Logical Form

✍ Ugo de'Liguoro 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 216 KB

By using intersection types and filter models we formulate a theory of types for a λ-calculus with record subtyping via a finitary programming logic. Types are interpreted as spaces of filters over a subset of the language of properties (the intersection types) which describes the underlying type fr

Automating extraction of logical domains

Automating extraction of logical domains in a web site

✍ Necip Fazıl Ayan; Wen-Syan Li; Okan Kolak 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 535 KB

The domain name field in a universal resource locator (URL) has been viewed as a natural choice to organize Web pages. For example, Web search results may be grouped in terms of domains and presented to users as clusters for ease of visualization. However, using this approach, large Web sites, such

Form in logic and in art

✍ E. D. Klemke 📂 Article 📅 1979 🏛 Springer 🌐 English ⚖ 944 KB

Negative binomial multiplicity distribut

Negative binomial multiplicity distributions in continuous domains

✍ L. Van Hove 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 686 KB

Development of comprehension of logical

Development of comprehension of logical connectives in symbolic or verbal form

✍ James J. Roberge 📂 Article 📅 1975 🏛 Springer 🌐 English ⚖ 322 KB

Forms of logic in faith development theo

Forms of logic in faith development theory

✍ Romney M. Moseley 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 685 KB