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, A Completeness Result for Relation Algebra with Binders, Stably Compact Spaces and Closed Relations, Transformations of Concept Graphs:, Completeness of a relational calculus for program schemes, Relational properties of sequential composition of coalgebras, Gunther Schmidt's life as a mathematician and computer scientist, 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, German parliamentary elections 2009 from the viewpoint of direct democracy, Normal forms for binary relations, Implementing Relational Specifications in a Constraint Functional Logic Language, Cardinality in Allegories
