Relational Methods for Computer Science Applications (Studies in Fuzziness and Soft Computing, Band 65) - Softcover

 
9783662003626: Relational Methods for Computer Science Applications (Studies in Fuzziness and Soft Computing, Band 65)
Softcover
ISBN 10: 3662003627 ISBN 13: 9783662003626
Verlag: Physica, 2012

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

This volume addresses all current aspects of relational methods and their applications in computer science. It presents a broad variety of fields and issues in which theories of relations provide conceptual or technical tools. The contributions address such subjects as relational methods in programming, relational constraints, relational methods in linguistics and spatial reasoning, relational modelling of uncertainty. All contributions provide the readers with new and original developments in the respective fields.
The reader thus gets an interdisciplinary spectrum of the state of the art of relational methods and implementation-oriented solutions of problems related to these areas.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Physica
Erscheinungsdatum
2012
Sprache
Englisch
ISBN 10 
3662003627
ISBN 13 
9783662003626
Einband
Taschenbuch
Anzahl der Seiten
312
Herausgeber
Orlowska Ewa, Szalas Andrzej
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783790813654: Relational Methods for Computer Science Applications (Studies in Fuzziness and Soft Computing Vol. 65)

Vorgestellte Ausgabe

ISBN 10:  3790813656 ISBN 13:  9783790813654
Verlag: Physica-Verlag Heidelberg, 2001
Hardcover