✦ LIBER ✦

Restriction of term complexity in derivations and decidable fragments of predicate calculus

✍ Scribed by N. K. Zamov

Publisher: Springer US
Year: 1988
Tongue: English
Weight: 468 KB
Volume: 41
Category: Article
ISSN: 1573-8795
DOI: 10.1007/bf01103259

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Range and degree of realizability of for

Range and degree of realizability of formulas in the restricted predicate calculus

✍ Yu. V. Glebskii; D. I. Kogan; M. I. Liogon'kii; V. A. Talanov 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 934 KB

Equivalent Effects of Inflected and Deri

Equivalent Effects of Inflected and Derived Primes: Long-Term Morphological Priming in Fragment Completion and Lexical Decision

✍ Michal Raveh; Jay G Rueckl 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 90 KB

Previous studies of long-term morphological priming have obtained a mixed pattern of results: Although some studies have found larger effects of inflected primes than of derived primes, others have found that inflections and derivations have equivalent effects. We reexamined this issue in four exper

Rapid incorporation and short-term distr

Rapid incorporation and short-term distribution of a nonylphenol isomer and the herbicide MCPA in soil-derived organo-clay complexes

✍ Patrick Riefer; Timm Klausmeyer; Jan Schwarzbauer; Andreas Schäffer; Burkhard Sc 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 337 KB

Quantum chemical analysis of possible fr

Quantum chemical analysis of possible fragmentation of [M + H]+and [M + Na]+complexes of monosubstituted methane, cyclohexane, and benzene derivatives in mass spectrometric studies

✍ N. D. Chuvylkin; I. D. Nesterov; V. I. Kadentsev 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 221 KB

Mass spectrometry in structural and ster

Mass spectrometry in structural and stereochemical problems—CCXXII: Delineation of competing fragmentation pathways of complex molecules from a study of metastable ion transitions of deuterated derivatives

✍ D. H. Smith; A. M. Duffield; Carl Djerassi 📂 Article 📅 1973 🏛 John Wiley and Sons 🌐 English ⚖ 794 KB