The following pages link to Rudolf Berghammer (Q246438):
Displaying 50 items.
- Computing kernels in directed bichromatic graphs (Q287022) (← links)
- Control of Condorcet voting: complexity and a relation-algebraic approach (Q319803) (← links)
- Solving hard control problems in voting systems via integer programming (Q322433) (← links)
- Computing and visualizing Banks sets of dominance relations using relation algebra and RelView (Q383785) (← links)
- Computing minimal extending sets by relation-algebraic modeling and development (Q406434) (← links)
- Spatial voting games, relation algebra and RelView (Q406437) (← links)
- Gunther Schmidt's life as a mathematician and computer scientist (Q406464) (← links)
- Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool (Q516028) (← links)
- An algebraic approach to multirelations and their properties (Q516032) (← links)
- Contact, closure, topology, and the linking of row and column types of relations (Q549681) (← links)
- Symmetric quotients and domain constructions (Q582127) (← links)
- Relation-algebraic specification and solution of special university timetabling problems (Q604453) (← links)
- A relation-algebraic approach to simple games (Q631101) (← links)
- Formalizing Dijkstra's predicate transformer wp in weak second-order logic (Q673132) (← links)
- Convergence of set-based multi-objective optimization, indicators and deteriorative cycles (Q714857) (← links)
- Cardinality of relations with applications (Q738869) (← links)
- Relation-algebraic computation of fixed points with applications (Q817578) (← links)
- Applying relational algebra and REL VIEW to coalition formation (Q859932) (← links)
- Applying relation algebra and RelView to solve problems on orders and lattices (Q929300) (← links)
- Relational measures and integration in preference modeling (Q929969) (← links)
- Embedding mappings and splittings with applications (Q968275) (← links)
- Applying relation algebra and RelView to measures in a social network (Q1038395) (← links)
- (Q1079008) (redirect page) (← links)
- Relational algebraic semantics of deterministic and nondeterministic programs (Q1079010) (← links)
- Towards an algebraic specification of code generation (Q1121033) (← links)
- Discrete ordering relations (Q1171581) (← links)
- A relation algebraic model of robust correctness (Q1350502) (← links)
- A linear approximation algorithm for bin packing with absolute approximation factor \(\frac {3}{2}\) (Q1400475) (← links)
- Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem (Q1581059) (← links)
- Relational depth-first-search with applications (Q1602553) (← links)
- Cryptomorphic topological structures: a computational, relation-algebraic approach (Q1633340) (← links)
- Describing semantic domains with sprouts (Q1823713) (← links)
- Towards a design calculus for CSP (Q1916361) (← links)
- On the use of binary decision diagrams for solving problems on simple games (Q1926964) (← links)
- Relation-algebraic modeling and solution of chessboard independence and domination problems (Q1931899) (← links)
- Combining relational calculus and the Dijkstra-Gries method for deriving relational programs (Q1961862) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Computing tournament solutions using relation algebra and RelView (Q2253612) (← links)
- Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces (Q2274045) (← links)
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (Q2347907) (← links)
- Using relation-algebraic means and tool support for investigating and computing bipartitions (Q2360655) (← links)
- An interdisciplinary approach to coalition formation (Q2378348) (← links)
- Orders and lattices. Basics, approaches and applications (Q2637247) (← links)
- Algorithmic counting of zero-dimensional finite topological spaces with respect to the covering dimension (Q2660352) (← links)
- Relational computation of sets of relations (Q2695345) (← links)
- Experimental investigation of sufficient criteria for relations to have kernels (Q2695346) (← links)
- (Q2709803) (← links)
- Implementing Relational Specifications in a Constraint Functional Logic Language (Q2873796) (← links)
- Relation Algebra, RelView, and Plurality Voting (Q2879310) (← links)
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures (Q2915139) (← links)
