Relational Methods in Computer Science
From MaRDI portal
Cited in
(51)- Applying relational algebra and REL VIEW to coalition formation
- Embedding mappings and splittings with applications
- Monomorphic characterization of n-ary direct products
- Nondeterministic semantics of compound diagrams
- scientific article; zbMATH DE number 1953886 (Why is no real title available?)
- Gunther Schmidt's life as a mathematician and computer scientist
- Relational properties of sequential composition of coalgebras
- Relational demonic fuzzy refinement
- Contact, closure, topology, and the linking of row and column types of relations
- Kleene under a modal demonic star
- Dedekind categories with cutoff operators
- Relational and algebraic methods in computer science
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types
- German parliamentary elections 2009 from the viewpoint of direct democracy
- Three-variable statements of set-pairing
- Invariant relations for affine loops
- Relational matching for graphical calculi of relations
- Membership values in arrow categories
- ``Keep definition, change category -- a practical approach to state-based system calculi
- Implementing relational specifications in a constraint functional logic language
- Cryptomorphic topological structures: a computational, relation-algebraic approach
- Reasoning on relations, modalities, and sets
- A relation algebraic approach to interaction categories
- A new algebraic approach to L-fuzzy relations convenient to study crispness
- Cardinality in Allegories
- The converse of a stochastic relation
- Differentiators and detectors
- The calculus of relations as a foundation for mathematics
- Cardinality of relations with applications
- Cardinality functions in allegories
- Convergence: integrating termination and abort-freedom
- Representation theory of Goguen categories.
- A completeness result for relation algebra with binders
- An interdisciplinary approach to coalition formation
- Toward a theory of program repair
- Residuation in existential graphs
- Closure systems and their structure
- 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
- RALL: machine-supported proofs for relation algebra
- Normal forms for binary relations
- Stably compact spaces and closed relations
- Completeness of a relational calculus for program schemes
- Transformations of concept graphs: an approach to empirical induction
- Parallel composition and decomposition of specifications
- Nonrepresentable relation algebras from groups
- ER modelling from first relational principles
- Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
- Relation-algebraic specification and solution of special university timetabling problems
- A relation-algebraic approach to simple games
- Interpretability of first-order linear temporal logics in fork algebras
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)
