Relational methods in computer science
The articles of this volume will be reviewed individually. Indexed articles: \textit{Jipsen, Peter; Brink, Chris; Schmidt, Gunther}, Background material to: ``Relational methods in computer science, 1-21 [Zbl 0879.08006] \textit{Maddux, Roger D.}, Relation algebras, 22-38 [Zbl 0885.03047] \textit{Schmidt, Gunther; Hattensperger, Claudia; Winter, Michael}, Heterogeneous relation algebra, 39-53 [Zbl 0961.03061] \textit{Haeberer, Armando; Frias, Marcelo; Baum, Gabriel; Veloso, Paulo}, Fork algebras, 54-69 [Zbl 0961.03060] \textit{Schlingloff, Holger; Heinle, Wolfgang}, Relation algebra and modal logics, 70-89 [Zbl 0883.03050] \textit{Orlowska, Ewa}, Relational formalisation of nonclassical logics, 90-105 [Zbl 0883.03051] \textit{Desharnais, Jules; Hodgson, Bernard; Mullins, John}, Linear logic, 106-114 [Zbl 0883.03005] \textit{Berghammer, Rudolf; von Karger, Burghard}, Relational semantics of functional programs, 115-130 [Zbl 0884.68077] \textit{Berghammer, Rudolf; von Karger, Burghard}, Algorithms from relational specifications, 131-149 [Zbl 0884.68080] \textit{Doornbos, Henk; van Gasteren, Netty; Backhouse, Roland}, Programs and datatypes, 150-165 [Zbl 0884.68081] \textit{Desharnais, Jules; Mili, Ali; Nguyen, Thanh Tung}, Refinement and demonic semantics, 166-183 [Zbl 0884.68082] \textit{Janicki, Ryszard; Parnas, David Lorge; Zucker, Jeffery}, Tabular representations in relational documents, 184-196 [Zbl 1114.68597] \textit{Jaoua, Ali; Belkhiter, Nadir; Ounalli, Habib; Moukam, Théodore}, Databases, 197-210 [Zbl 0884.68045] \textit{Blackburn, Patrick; de Rijke, Maarten; Venema, Yde}, Logic, language, and information, 211-225 [Zbl 0882.03026] \textit{Böttner, Michael}, Natural language, 226-246 [Zbl 0882.03027] \textit{Kahl, Wolfram; Ströhlein, Thomas}, Bibliography to: ``Relational methods in computer science, 247-262 [Zbl 0879.08007]
- 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
- Cryptomorphic topological structures: a computational, relation-algebraic approach
- Convergence: integrating termination and abort-freedom
- 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
- Differentiators and detectors
- Relational demonic fuzzy refinement
- An interdisciplinary approach to coalition formation
- German parliamentary elections 2009 from the viewpoint of direct democracy
- Normal forms for binary relations
- Nondeterministic semantics of compound diagrams
- Residuation in existential graphs
- Implementing relational specifications in a constraint functional logic language
- ``Keep definition, change category -- a practical approach to state-based system calculi
- Nonrepresentable relation algebras from groups
- Cardinality in Allegories
- Relational properties of sequential composition of coalgebras
- Gunther Schmidt's life as a mathematician and computer scientist
- scientific article; zbMATH DE number 1953886 (Why is no real title available?)
- A completeness result for relation algebra with binders
- Stably compact spaces and closed relations
- Transformations of concept graphs: an approach to empirical induction
- Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
- RALL: machine-supported proofs for relation algebra
- Dedekind categories with cutoff operators
- Contact, closure, topology, and the linking of row and column types of relations
- Relational and algebraic methods in computer science
- Completeness of a relational calculus for program schemes
- Relation-algebraic specification and solution of special university timetabling problems
- Cardinality functions in allegories
- Toward a theory of program repair
- A relation-algebraic approach to simple games
- Invariant relations for affine loops
- Reasoning on relations, modalities, and sets
- Membership values in arrow categories
- Cardinality of relations with applications
- 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
This page was built for publication: Relational methods in computer science
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4338907)
