Search results
From MaRDI portal
- selecting the right agent 2021-11-11 Paper Membership separability: a new axiomatization of the Shapley value 2018-07-12 Paper On the redundancy of the implicit...10 bytes (18 words) - 21:26, 11 December 2023
- 1978-01-01 Paper A new axiomatization of the mixed associative Newman algebra 1978-01-01 Paper A short equational axiomatization of modular ortholattices...10 bytes (17 words) - 22:27, 12 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4159025 1977-01-01 Paper Axiomatization of models for intermediate logics constructed with Boolean models by...10 bytes (16 words) - 21:30, 12 December 2023
- in 2-player strategic-form games 2021-11-24 Paper Feasibility-free axiomatization of the core and its non-empty extension 2021-03-29 Paper Farsighted stability...10 bytes (20 words) - 16:09, 7 December 2023
- de/entity/Q4704802 2000-12-11 Paper Axiomatization of a class of share functions for \(n\)-person games 1999-02-02 Paper An axiomatization of the disjunctive permission...10 bytes (20 words) - 22:06, 10 December 2023
- Rosenthal's \(t\)-solutions 2006-05-26 Paper An axiomatization of minimal curb sets 2006-05-26 Paper An axiomatization of minimal curb sets 2005-12-14 Paper Persistent...10 bytes (16 words) - 15:55, 6 December 2023
- de/entity/Q4375630 1998-05-10 Paper An equational axiomatization for multi-exit iteration 1998-02-16 Paper Axiomatizing prefix iteration with silent steps 1996-11-25...10 bytes (19 words) - 15:23, 10 December 2023
- cooperative games with a coalition structure 2020-03-27 Paper A new axiomatization of the Shapley-solidarity value for games with a coalition structure...10 bytes (17 words) - 21:50, 11 December 2023
- Views 2010-12-22 Paper Itemset frequency satisfiability: complexity and axiomatization 2008-04-15 Paper The complexity of satisfying constraints on databases...10 bytes (16 words) - 20:12, 11 December 2023
- Your BCCSP Axiomatization for Free! 2009-03-10 Paper https://portal.mardi4nfdi.de/entity/Q3601881 2009-02-12 Paper The Saga of the Axiomatization of Parallel...10 bytes (17 words) - 02:45, 10 December 2023
- Inconsistency of special cases of pairwise comparisons matrices 2018-06-15 Paper Axiomatization of inconsistency indicators for pairwise comparisons 2018-05-11 Paper...10 bytes (19 words) - 16:02, 10 December 2023
- https://portal.mardi4nfdi.de/entity/Q5413338 2014-04-29 Paper On a Method of Axiomatization of Some Propositional Calculi 1987-01-01 Paper A new variant of the...10 bytes (16 words) - 09:24, 13 December 2023
- of navigational querying on graphs 2017-05-16 Paper Implication and axiomatization of functional and constant constraints 2016-05-23 Paper Structural characterizations...10 bytes (16 words) - 15:47, 10 December 2023
- timed automata models with cyclic behaviour 2017-02-06 Paper A complete axiomatization of a temporal logic with obligation and robustness 2017-01-31 Paper...10 bytes (19 words) - 02:45, 10 December 2023
- Logics 2020-02-14 Paper Unification in modal logic 2020-01-14 Paper Axiomatization and computability of a variant of iteration-free PDL with fork 2019-11-28...10 bytes (16 words) - 23:29, 10 December 2023
- operators. I 2018-07-16 Paper THERE IS NO FINITE-VARIABLE EQUATIONAL AXIOMATIZATION OF REPRESENTABLE RELATION ALGEBRAS OVER WEAKLY REPRESENTABLE RELATION...10 bytes (19 words) - 20:23, 11 December 2023
- Date of Publication Type Modal companions of \(K4^+\) 2022-10-04 Paper Axiomatization and polynomial solvability of strictly positive fragments of certain...10 bytes (19 words) - 18:54, 13 December 2023
- Paper Measuring disproportionality, volatility and malapportionment: axiomatization and solutions 2009-09-02 Paper...10 bytes (16 words) - 17:09, 12 December 2023
- Paper The reverse self-dual serial cost-sharing rule 2014-09-26 Paper An axiomatization of success 2014-06-06 Paper Graphs inducing totally balanced and submodular...10 bytes (18 words) - 19:40, 9 December 2023
- Publication Date of Publication Type Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics 1993-11-28 Paper...10 bytes (16 words) - 17:00, 12 December 2023