Relational methods for computer science applications
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Cylindric and polyadic algebras; relation algebras (03G15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
The articles of this volume will be reviewed individually. Indexed articles: \textit{Desharnais, Jules; Khédri, Ridha; Mili, Ali}, Interpretation of tabular expressions using arrays of relations., 3-14 [Zbl 1061.68536] \textit{Dwyer, Barry}, Translating relational programs into prolog, 15-35 [Zbl 1009.68018] \textit{Frias, Marcelo F.; Baum, Gabriel A.; Haeberer, Armando M.}, A calculus for program construction based on fork algebras, design strategies and generic algorithms., 37-58 [Zbl 1050.68017] \textit{Winter, Michael; Kempf, Peter}, Processes as relations, 59-73 [Zbl 1009.68092] \textit{MacCaull, Wendy}, A tableaux procedure for the implication problem for association rules., 77-95 [Zbl 1061.68151] \textit{Kachniarz, Jarosław; Szałas, Andrzej}, On a static verification of integrity constraints in relational databases, 97-109 [Zbl 1009.68037] \textit{Düntsch, Ivo}, Contact relation algebras, 113-133 [Zbl 1009.68093] \textit{Lambek, Joachim}, Relations old and new, 135-147 [Zbl 1009.68172] \textit{Szcerba, Marek}, Relational models for the nonassociative Lambek calculus, 149-159 [Zbl 0993.03026] \textit{Demri, Stéphane}, Coping with semilattices of relations in logics with relative accessibility relations, 163-181 [Zbl 0993.03015] \textit{Konikowska, Beata; Orlowska, Ewa}, A relational formalisation of a generic many-valued modal logic, 183-202 [Zbl 0998.03018] \textit{SanJuan, Eric; Iturrioz, Luisa}, An application of standard BAO theory to some abstract information algebras, 203-215 [Zbl 0992.03079] \textit{Gordeev, Lev}, Proof systems in relation algebra, 219-237 [Zbl 0993.03087] \textit{Hirsch, Robin; Hodkinson, Ian}, Connections between cylindrical algebras and relation algebras, 239-246 [Zbl 0993.03088] \textit{Kawahara, Yasuo}, Lattices in Dedekind categories, 247-260 [Zbl 0996.18001] \textit{Düntsch, Ivo; Orłowska, Ewa}, Beyond modalities: Sufficiency and mixed algebras, 263-285 [Zbl 0992.03078] \textit{Woliński, Artur}, Cylindrical algebras for partial relational systems. Quasicylindric algebras, 287-297 [Zbl 1002.03057]
This page was built for publication: Relational methods for computer science applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5952474)
