Relational Methods in Computer Science
From MaRDI portal
Publication:4338907
DOI10.1007/978-3-7091-6510-2zbMATH Open0871.00027OpenAlexW1964754311MaRDI QIDQ4338907FDOQ4338907
Author name not available (Why is that?)
Publication date: 2 June 1997
Full work available at URL: https://doi.org/10.1007/978-3-7091-6510-2
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Cited In (51)
- Reasoning on relations, modalities, and sets
- Monomorphic characterization of \(n\)-ary direct products
- Embedding mappings and splittings with applications
- Title not available (Why is that?)
- Nondeterministic semantics of compound diagrams
- A Completeness Result for Relation Algebra with Binders
- Gunther Schmidt's life as a mathematician and computer scientist
- Relational properties of sequential composition of coalgebras
- NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS
- Relational demonic fuzzy refinement
- Contact, closure, topology, and the linking of row and column types of relations
- Relational and algebraic methods in computer science
- Kleene under a modal demonic star
- Dedekind categories with cutoff operators
- German parliamentary elections 2009 from the viewpoint of direct democracy
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types
- Stably Compact Spaces and Closed Relations
- RALL: Machine-supported proofs for relation algebra
- Three-variable statements of set-pairing
- Invariant relations for affine loops
- Relational matching for graphical calculi of relations
- Implementing relational specifications in a constraint functional logic language
- Membership values in arrow categories
- ``Keep definition, change category -- a practical approach to state-based system calculi
- Cryptomorphic topological structures: a computational, relation-algebraic approach
- A relation algebraic approach to interaction categories
- A new algebraic approach to L-fuzzy relations convenient to study crispness
- Transformations of Concept Graphs:
- Cardinality in Allegories
- Differentiators and detectors
- The converse of a stochastic relation
- 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.
- Toward a theory of program repair
- An interdisciplinary approach to coalition formation
- 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
- Normal forms for binary relations
- Completeness of a relational calculus for program schemes
- Parallel composition and decomposition of specifications
- 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
- Applying relational algebra and REL VIEW to coalition formation
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)
