Relational Methods for Computer Science Applications - Softcover

Softcover

ISBN 10: 3662003619 ISBN 13: 9783662003619

Publisher: Physica, 2012

Synopsis

Relations in Programming: J. Desharnais, R. Khédri, A. Mili: Interpretation of Tabular Expressions Using Arrays of Relations.- B. Dwyer: Translating Relational Programs into Prolog.- M.F. Frias, G.A. Baum, A.M. Haeberer: A Calculus for Program Contstruction Based on Fork Algebras, Design Strategies and Generic Algorithms.- M. Winter, P. Kempf: Processes as Relations. Relational Constraints: W. MacCaull: A Tableaux Procedure for the Implication Problem for Association Rules.- J. Kachniarz, A. Szalas: On a Static Verification of Integrity Constraints in Relational Databases.- Relations in Linguistics and Spatial Reasoning: I. Düntsch: Contact Relation Algebras.- J. Lambek: Relations Old and New.- M. Szczerba: Relational Models for the Nonassociative Lambek Calculus.- Relations and Uncertainty: S. Demri: Coping with Semilattices of Relations in Logics with Relative Accessibility Relations.- B. Konikowska, E. Orlowska: A Relational Formalisation of a Generic Many-Valued Modal Logic.- E. San Juan, L. Iturrioz: An Application of Standard BAO Theory to Some Abstract Information Algebras.- Theories of Relations: L. Gordeev: Proof Systems in Relation Algebra.- R. Hirsch, I. Hodkinson: Connections Between Cylindric Algebras and Relation Algebras.- Y. Kawahara: Lattices in Dedekind Categories.- Generalizations of Theories of Relations: I. Düntsch, E. Orlowska: Beyond Modalities: Sufficiency and Mixed Algebras.- A. Wolinski: Cylindric Algebras for Partial Relational Systems. Quasicylindric Algebras.

Edition details

• Publisher: Physica
• Publication date: 2012
• Language: English
• ISBN 10: 3662003619
• ISBN 13: 9783662003619
• Binding: Paperback
• Number of pages: 312
• Editor: Orlowska Ewa, Szalas Andrzej