Search results
From MaRDI portal
- contrapositives 2020-01-21 Paper Hyper tableaux 2019-10-08 Paper Tableaux for diagnosis applications 2019-01-15 Paper Tableaux for policy synthesis for MDPs...10 bytes (16 words) - 17:45, 7 December 2023
- 2010-06-17 Paper The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation 2010-02-19 Paper Hyper Tableaux with Equality 2009-03-06...10 bytes (17 words) - 10:27, 13 December 2023
- 2010-06-17 Paper The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation 2010-02-19 Paper Hyper Tableaux with Equality 2009-03-06...10 bytes (16 words) - 07:02, 7 October 2023
- of Publication Type Minimal model generation with positive unit hyper-resolution tableaux 2019-01-10 Paper A relevance restriction strategy for automated...10 bytes (18 words) - 14:41, 6 October 2023
- procedure for quantified Boolean formulae 2003-09-15 Paper Ordered semantic hyper tableaux 2003-04-28 Paper https://portal.mardi4nfdi.de/entity/Q2751361 2002-08-27...10 bytes (19 words) - 14:32, 8 December 2023
- Meta-Programming 2020-05-04 Paper Minimal model generation with positive unit hyper-resolution tableaux 2019-01-10 Paper https://portal.mardi4nfdi.de/entity/Q5398038 2014-02-25...10 bytes (17 words) - 11:54, 9 December 2023
- Strong Equivalence in Answer-Set Program Transformations 2022-02-24 Paper Hyper tableaux 2019-10-08 Paper A tableau calculus for minimal model reasoning 2019-01-10...10 bytes (18 words) - 03:24, 9 December 2023
- fuzzy description logics under the Gödel semantics 2021-01-19 Paper ExpTime tableaux with global caching for hybrid PDL 2020-03-03 Paper The Influence of the...10 bytes (18 words) - 15:54, 9 December 2023
- One-Pass Tableaux for Computation Tree Logic 2008-05-15 Paper A Cut-Free Sequent Calculus for Bi-intuitionistic Logic 2008-01-04 Paper EXPTIME Tableaux with...10 bytes (17 words) - 09:58, 25 September 2023
- Affine Geometries 2009-11-30 Paper Hyper arrow logic with indiscernibility and complementarity 2009-11-11 Paper Hyper arrow logic with indiscernibility...10 bytes (16 words) - 23:29, 10 December 2023
- 1992-09-27 Paper https://portal.mardi4nfdi.de/entity/Q3993070 1992-09-17 Paper Hyper-rook Domain Inequalities 1990-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3351353...10 bytes (19 words) - 19:31, 9 December 2023
- Simulating circuit-level simplifications on CNF 2013-07-05 Paper Revisiting Hyper Binary Resolution 2013-06-04 Paper Inprocessing Rules 2012-09-05 Paper https://portal...10 bytes (17 words) - 14:05, 7 October 2023
- Information, Falsification, and Verification 2020-08-07 Paper Simplified tableaux for STIT imagination logic 2020-02-14 Paper On the Methodology of Paraconsistent...10 bytes (17 words) - 03:41, 12 December 2023
- Paper Tropical Plücker functions and Kashiwara crystals 2015-09-11 Paper Hyper-relations, choice functions, and orderings of opportunity sets 2015-08-11...10 bytes (19 words) - 13:52, 7 December 2023
- Paper Tropical Plücker functions and Kashiwara crystals 2015-09-11 Paper Hyper-relations, choice functions, and orderings of opportunity sets 2015-08-11...10 bytes (19 words) - 01:34, 9 December 2023
- chemotherapy scheduling and effective capacity determination 2023-09-29 Paper Tableaux for realizability of safety specifications 2023-08-17 Paper Symbolic runtime...10 bytes (17 words) - 07:56, 7 October 2023
- ordering for functions of boson operators 2010-03-12 Paper Wiener, hyper-Wiener, detour and hyper-detour indices of bridge and chain graphs 2010-03-02 Paper Counting...10 bytes (17 words) - 17:44, 8 December 2023
- zbMATH Keywords automated reasoning; equality; finite model computation; hyper tableaux Mathematics Subject Classification ID DB lookup for MSC labels failed...15 bytes (66 words) - 18:52, 4 February 2024
- QIDQ5475621 Gergely Kovásznai Publication date: 27 June 2006 zbMATH Keywords HyperS tableaux; theorem proving in first-order logic Mathematics Subject Classification...15 bytes (33 words) - 03:56, 7 March 2024
- quasi-one dimensional analytical approach 2016-12-27 Paper Decorated Young tableaux and the poissonized Robinson-Schensted process 2016-12-27 Paper The second...10 bytes (15 words) - 10:09, 6 October 2023
