E-Book, Englisch, Band 65, 297 Seiten, eBook
Orlowska / Szalas Relational Methods for Computer Science Applications
Erscheinungsjahr 2013
ISBN: 978-3-7908-1828-4
Verlag: Physica
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, Band 65, 297 Seiten, eBook
Reihe: Studies in Fuzziness and Soft Computing
ISBN: 978-3-7908-1828-4
Verlag: Physica
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.