Carbanion Chemistry [Paperback]

Interpretation of Tabular Expressions Using Arrays of Relations.- Translating Relational Programs into Prolog.- A Calculus for Program Contstruction Based on Fork Algebras, Design Strategies and Generic Algorithms.- Processes as Relations.- A Tableaux Procedure for the Implication Problem for Association Rules.- On a Static Verification of Integrity Constraints in Relational Databases.- Contact Relation Algebras.- Relations Old and New.- Relational Models for the Nonassociative Lambek Calculus.- Coping with Semilattices of Relations in Logics with Relative Accessibility Relations.- A Relational Formalisation of a Generic Many-Valued Modal Logic.- An Application of Standard BAO Theory to Some Abstract Information Algebras.- Proof Systems in Relation Algebra.- Connections Between Cylindric Algebras and Relation Algebras.- Lattices in Dedekind Categories.- Beyond Modalities: Sufficiency and Mixed Algebras.- Cylindric Algebras for Partial Relational Systems. Quasicylindric Algebras.

BookReviews Int.

From the review of the third edition:

Entries are written in a very accessible style. & covers a broad range of cancer-related topics & 250 contributory authors, all internationally recognised & . The format is reader-friendly, consistent and well presented. & particularly useful topics for students and to those new to the field of cancer research. & the encyclopaedia is a useful reference text not only for clinical investigators but also for basic research scientists and an excellent reference for students. The book is accompanied by a useful CD-ROM & . (Cancer Forum, 2002)

Springer Book Archives