✦ LIBER ✦

Deriving Proof Rules from Continuation Semantics

✍ Scribed by Philippe Audebaud; Elena Zucca

Publisher: Springer
Year: 1999
Tongue: English
Weight: 193 KB
Volume: 11
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s001650050041

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Valuational semantics of rule derivabili

Valuational semantics of rule derivability

✍ Lloyd Humberstone 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 636 KB

On Reduction Rules, Meaning-as-use, and

On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics

✍ Ruy J. G. B. de Queiroz 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 306 KB

A sharp proof rule for procedures in wp

A sharp proof rule for procedures in wp semantics

✍ A. Bijlsma; P. A. Matthews; J. G. Wiltink 📂 Article 📅 1989 🏛 Springer-Verlag 🌐 English ⚖ 545 KB

A general proof rule for procedures in p

A general proof rule for procedures in predicate transformer semantics

✍ Alain J. Martin 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 522 KB

Deriving target selection rules from end

Deriving target selection rules from endogenously selected samples

✍ Bas Donkers; Richard Paap; Jedid-Jah Jonker; Philip Hans Franses 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 119 KB

## Abstract The selection of the most profitable customers in a customer database for targeted activities is often done based on observed behaviour in the past. Consequently, databases arising from the responses to, for example, direct mailings in the past are not random samples. When not all heter

Deriving rules from activity diary data:

Deriving rules from activity diary data: A learning algorithm and results of computer experiments

✍ Theo A. Arentze; Frank Hofman; Harry J.P. Timmermans 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 388 KB