✦ LIBER ✦

Terminating general recursion

✍ Scribed by Bengt Nordström

Book ID: 105405440
Publisher: Springer Netherlands
Year: 1988
Tongue: English
Weight: 871 KB
Volume: 28
Category: Article
ISSN: 0006-3835
DOI: 10.1007/bf01941137

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A general terminator for the recursion m

A general terminator for the recursion method

✍ Haydock, R; Nex, C M M 📂 Article 📅 1985 🏛 Institute of Physics 🌐 English ⚖ 746 KB

Predicate-transformer semantics of gener

Predicate-transformer semantics of general recursion

✍ Wim H. Hesselink 📂 Article 📅 1989 🏛 Springer-Verlag 🌐 English ⚖ 997 KB

General formalism solving linear recursi

General formalism solving linear recursion relations

✍ Antippa, Adel F.; Phares, Alain J. 📂 Article 📅 1977 🏛 American Institute of Physics 🌐 English ⚖ 935 KB

Formalizing non-termination of recursive

Formalizing non-termination of recursive programs

✍ Reinhard Kahle; Thomas Studer 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 135 KB

Reasons for terminating psychotherapy: a

Reasons for terminating psychotherapy: a general population study

✍ Robin Westmacott; John Hunsley 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 126 KB

## Abstract Clients' (__N__=693) reasons for ending psychotherapy and their associations with demographics, mental disorder caseness, and type of mental health care service provider were examined. The most frequently reported reason for termination was feeling better, however, a substantial minorit

Generalized multi-terminal decoherent tr

Generalized multi-terminal decoherent transport: recursive algorithms and applications to SASER and giant magnetoresistance

✍ Cattena, Carlos J; Fernández-Alcázar, Lucas J; Bustos-Marún, Raúl A; Nozaki, Dai 📂 Article 📅 2014 🏛 Institute of Physics 🌐 English ⚖ 954 KB