Search results
From MaRDI portal
- Marc Gyssens (section List of research outcomes)indistinguishability in fragments of the calculus of relations 2015-07-15 Paper On the conditional independence implication problem: a lattice-theoretic approach 2015-06-26...10 bytes (16 words) - 01:51, 9 December 2023
- Larisa L. Maksimova (section List of research outcomes)2013-11-27 Paper On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic 2013-05-03 Paper The decidability of Craig's interpolation property...10 bytes (19 words) - 17:35, 11 December 2023
- Dirk Van Gucht (section List of research outcomes)indistinguishability in fragments of the calculus of relations 2015-07-15 Paper On the conditional independence implication problem: a lattice-theoretic approach...10 bytes (18 words) - 01:52, 9 December 2023
- 1998-10-08 Paper Decidability of unification in the theory of one-sided distributivity and a multiplicative unit 1997-03-06 Paper Modular termination of \(r\)-consistent...10 bytes (19 words) - 13:00, 11 December 2023
- Paper The role of metalanguage in graded logical approaches 2017-11-14 Paper On Some Issues in the Foundation of Rough Sets: the Problem of Definition 2017-11-09...10 bytes (18 words) - 23:58, 10 December 2023
- completeness problem: A discriminator varieties case study 2019-01-08 Paper The lattice of congruences of a finite line frame 2018-11-20 Paper Deciding open definability...10 bytes (18 words) - 17:55, 8 December 2023
- Dov M. Gabbay (section List of research outcomes)theories of algebraically closed fields and real closed fields 1973-01-01 Paper Applications of Scott's notion of consequence to the study of general binary...10 bytes (19 words) - 02:43, 9 December 2023
- Andrew Tedder (section List of research outcomes)Identity, Haecceity, and the Godzilla Problem 2019-04-23 Paper On structural features of the implication fragment of Frege's \textit{Grundgesetze} 2017-10-11...10 bytes (16 words) - 23:05, 24 September 2023
- Georg Gottlob (section List of research outcomes)Optimization Methods for the Partner Units Problem 2011-05-26 Paper The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey 2010-09-03...10 bytes (17 words) - 05:40, 9 December 2023
- Path Problem 2017-04-05 Paper The Approximability of Partial Vertex Covers in Trees 2017-04-04 Paper Analyzing restricted fragments of the theory of linear...10 bytes (19 words) - 00:03, 10 December 2023
- Detlef Seese (section List of research outcomes)theory of graph reduction 1994-09-11 Paper https://portal.mardi4nfdi.de/entity/Q4037299 1993-05-18 Paper The structure of the models of decidable monadic...10 bytes (17 words) - 23:57, 12 December 2023
- Robert Goldblatt (section List of research outcomes)Paper Semantic analysis of orthologic 1974-01-01 Paper A study of Z modal systems 1974-01-01 Paper Decidability of Some Extensions of J 1974-01-01 Paper Metamathematics...10 bytes (18 words) - 16:22, 9 December 2023
- Nikolaos Galatos (section List of research outcomes)2021-03-03 Paper The structure of generalized BI-algebras and weakening relation algebras 2020-07-13 Paper Categories of models of \(\mathbf{R}\)-mingle 2019-07-10...10 bytes (16 words) - 06:31, 7 October 2023
- Philippe Balbiani (section List of research outcomes)Binary Relation 2014-04-25 Paper Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders...10 bytes (16 words) - 23:29, 10 December 2023
- visions of automated reasoning 2022-12-12 Paper Set of support, demodulation, paramodulation: a historical perspective 2022-12-12 Paper On fairness of completion-based...10 bytes (19 words) - 15:52, 10 December 2023
- Anke Gerber (section List of research outcomes)on the impossibility of a satisfactory concept of stability for coalition formation games 2013-01-28 Paper Evolutionary choice of markets 2007-03-06 Paper...10 bytes (16 words) - 13:10, 7 October 2023
- Vincent Aravantinos (section List of research outcomes)Schemata of SMT-Problems 2011-07-01 Paper Decidability and Undecidability Results for Propositional Schemata 2011-05-04 Paper Simplified handling of iterated...10 bytes (16 words) - 11:04, 6 October 2023
- Martine Labbé (section List of research outcomes)Improved Formulations for the Ring Spur Assignment Problem 2011-09-09 Paper An exact approach to the problem of extracting an embedded network matrix 2011-04-28...10 bytes (18 words) - 06:13, 9 December 2023
- Ewald Speckenmeyer (section List of research outcomes)tractability time bound for the shadow problem 2004-08-19 Paper On enumerating all minimal solutions of feedback problems 2002-05-15 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 18:33, 12 December 2023
- Sebastian Link (section List of research outcomes)and general implication problems of independence atoms and keys 2016-04-18 Paper Frontiers for propositional reasoning about fragments of probabilistic...10 bytes (17 words) - 14:05, 7 October 2023