Search results
From MaRDI portal
- with obligation and robustness 2017-01-31 Paper A Rooted Tableau for BCTL* 2016-10-07 Paper A Tableau for Bundled Strategies 2015-12-11 Paper Synthesis for...10 bytes (20 words) - 04:52, 12 December 2023
- ring generated by tableau shapes 1981-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3929746 1980-01-01 Paper Functions on tableau frames 1979-01-01...10 bytes (18 words) - 10:38, 12 December 2023
- de/entity/Q4726261 1986-01-01 Paper Slicing skew-tableau frames 1982-01-01 Paper Polynomial ring generated by tableau shapes 1981-01-01 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 11:35, 13 December 2023
- mardi4nfdi.de/entity/Q4995368 2021-06-24 Paper One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\) 2021-06-03 Paper On timeline-based...10 bytes (19 words) - 02:45, 10 December 2023
- mardi4nfdi.de/entity/Q3457215 2015-12-11 Paper Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 2015-03-23...10 bytes (17 words) - 19:13, 11 December 2023
- 5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine 2011-07-01 Paper Automated Synthesis of Tableau Calculi 2011-05-26 Paper Tableau Calculi...10 bytes (16 words) - 10:13, 6 October 2023
- of Schubert calculus 2019-06-12 Paper Shifted tableau crystals 2019-05-15 Paper Axioms for shifted tableau crystals 2019-04-30 Paper Monodromy and \(K\)-theory...10 bytes (18 words) - 12:33, 28 January 2024
- Paper Tableau calculus for preference-based conditional logics 2015-09-17 Paper https://portal.mardi4nfdi.de/entity/Q2852084 2013-10-07 Paper Tableau Calculi...10 bytes (18 words) - 16:52, 12 December 2023
- Paraconsistent Tableaus 2019-10-31 Paper Pure modal logic of names and tableau systems 2018-12-21 Paper Bayesian Propositional Logic 2018-07-12 Paper Tableau Metatheorem...10 bytes (16 words) - 21:25, 22 September 2023
- tableaux calculi for KLM logics of nonmonotonic reasoning 2015-09-17 Paper Tableau calculus for preference-based conditional logics 2015-09-17 Paper Logics...10 bytes (17 words) - 14:35, 11 December 2023
- Relational dual tableau decision procedures and their applications to modal and intuitionistic logics 2013-12-10 Paper Relational dual tableau decision procedure...10 bytes (18 words) - 18:46, 6 October 2023
- 2022-05-30 Paper Generalized tableau systems for intermediate propositional logics 2019-01-15 Paper Almost duplication-free tableau calculi for prepositional...10 bytes (16 words) - 12:52, 6 October 2023
- logic 2023-06-14 Paper New Tableau Characterizations for Non-clausal <scp>MaxSAT</scp> Problem 2022-07-22 Paper A non-clausal tableau calculus for \textsc{MinSat}...10 bytes (16 words) - 09:02, 25 September 2023
- refinement for semantic tableau calculi 2018-02-02 Paper The axiomatic translation principle for modal logic 2017-07-12 Paper A Tableau Calculus for Minimal...10 bytes (18 words) - 19:44, 6 October 2023
- representation theory 2001-11-05 Paper Flag varieties and interpretations of Young tableau algorithms 2001-10-24 Paper Some bijective correspondences involving domino...10 bytes (23 words) - 10:07, 9 December 2023
- Publication Type Tableau stabilization and lattice paths 2023-01-05 Paper Tableau stabilization and lattice paths 2022-02-03 Paper Tableau stabilization and...10 bytes (16 words) - 03:43, 7 October 2023
- procedure for a fragment of hybrid logic with binders 2016-05-26 Paper A tableau based decision procedure for an expressive fragment of hybrid logic with...10 bytes (19 words) - 15:54, 9 December 2023
- tableaux calculi for KLM logics of nonmonotonic reasoning 2015-09-17 Paper Tableau calculus for preference-based conditional logics 2015-09-17 Paper NESCOND:...10 bytes (16 words) - 17:38, 9 December 2023
- Publication Date of Publication Type Tableau stabilization and lattice paths 2023-01-05 Paper Tableau stabilization and lattice paths 2022-02-03 Paper...10 bytes (16 words) - 13:52, 24 September 2023
- Publication Date of Publication Type Tableau stabilization and lattice paths 2023-01-05 Paper Tableau stabilization and lattice paths 2022-02-03 Paper...10 bytes (16 words) - 13:52, 24 September 2023
