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