Relational Methods for Computer Science Applications - Softcover

Softcover

ISBN 10: 3662003619 ISBN 13: 9783662003619

Verlag: Springer, 2014

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2014
• Sprache: Englisch
• ISBN 10: 3662003619
• ISBN 13: 9783662003619
• Einband: Taschenbuch
• Anzahl der Seiten: 312
• Herausgeber: Orlowska Ewa, Szalas Andrzej
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Deutschland