Relational Methods in Computer Science
From MaRDI portal
Publication:4338907
DOI10.1007/978-3-7091-6510-2zbMath0871.00027MaRDI QIDQ4338907
No author found.
Publication date: 2 June 1997
Full work available at URL: https://doi.org/10.1007/978-3-7091-6510-2
00B15: Collections of articles of miscellaneous specific interest
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
Related Items
Unnamed Item, Completeness of a relational calculus for program schemes, Dedekind categories with cutoff operators, Contact, closure, topology, and the linking of row and column types of relations, Relation-algebraic specification and solution of special university timetabling problems, Cardinality functions in allegories, A relation-algebraic approach to simple games, Kleene under a modal demonic star, Interpretability of first-order linear temporal logics in fork algebras, Applying relational algebra and REL VIEW to coalition formation, The calculus of relations as a foundation for mathematics, Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types, Embedding mappings and splittings with applications, Applying relation algebra and RelView to measures in a social network, Evaluation of German parties and coalitions by methods of the mathematical theory of democracy, Representation theory of Goguen categories., Parallel composition and decomposition of specifications, A new algebraic approach to L-fuzzy relations convenient to study crispness, Closure systems and their structure, The converse of a stochastic relation, ER modelling from first relational principles, Three-variable statements of set-pairing, Relational matching for graphical calculi of relations, Monomorphic characterization of \(n\)-ary direct products, A relation algebraic approach to interaction categories, An interdisciplinary approach to coalition formation, Normal forms for binary relations, Cardinality in Allegories
