Search results
From MaRDI portal
- Expressing Polymorphic Types in a Many-Sorted Language 2011-10-07 Paper Connection Tableaux with Lazy Paramodulation 2009-03-12 Paper System for Automated Deduction...10 bytes (16 words) - 16:05, 10 December 2023
- Type Machine learning guidance for connection tableaux 2021-06-09 Paper Certification of nonclausal connection tableaux proofs 2020-05-14 Paper Monte Carlo...10 bytes (17 words) - 22:46, 24 September 2023
- Learning Connection Prover 2016-01-12 Paper Sharing HOL4 and HOL Light Proof Knowledge 2016-01-12 Paper Efficient Low-Level Connection Tableaux 2015-12-11...10 bytes (17 words) - 11:19, 6 October 2023
- prove with tactics 2021-06-09 Paper Machine learning guidance for connection tableaux 2021-06-09 Paper The Tactician. A seamless, interactive tactic learner...10 bytes (16 words) - 11:19, 6 October 2023
- 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 with...10 bytes (16 words) - 17:45, 7 December 2023
- evaluation of the connection coefficients of the double coset algebra 2017-02-10 Paper On the matchings-Jack conjecture for Jack connection coefficients indexed...10 bytes (18 words) - 03:06, 10 December 2023
- Phase Semantics and the Undecidability of Boolean BI 2015-09-17 Paper A connection-based characterization of bi-intuitionistic validity 2015-06-23 Paper...10 bytes (16 words) - 15:34, 10 December 2023
- methods 2019-01-10 Paper RACCOON: A Connection Reasoner for the Description Logic ALC 2019-01-10 Paper Non-clausal connection calculi for non-classical logics...10 bytes (16 words) - 12:28, 6 October 2023
- de/entity/Q2848062 2013-09-25 Paper A Connection-Based Characterization of Bi-intuitionistic Validity 2011-07-29 Paper Tableaux and Resource Graphs for Separation...10 bytes (16 words) - 02:29, 25 September 2023
- Standard Young Tableaux 2011-03-02 Paper \(R\)-matrices in rime 2011-01-31 Paper Parastatistics Algebra and Super Semistandard Young Tableaux 2011-01-04 Paper...10 bytes (16 words) - 08:18, 7 October 2023
- affine connection 2022-05-31 Paper Infinitesimal rotary transformation 2022-05-31 Paper On canonical F-planar mappings of spaces with affine connection 2022-05-31...10 bytes (17 words) - 02:12, 10 December 2023
- Publication Date of Publication Type Proof Search for the First-Order Connection Calculus in Maude 2015-03-19 Paper Incremental variable splitting 2012-06-20...10 bytes (16 words) - 07:02, 7 October 2023
- \(m=2\) amplituhedron and the hypersimplex 2023-06-05 Paper Cylindric rhombic tableaux and the two-species ASEP on a ring 2022-11-01 Paper Higher secondary polytopes...10 bytes (19 words) - 22:48, 10 December 2023
- counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution 2015-09-20 Paper On finding short resolution refutations...10 bytes (16 words) - 10:05, 7 October 2023
- Berele's insertion algorithm for symplectic tableaux 2005-04-25 Paper Complementary algorithms for tableaux 2003-07-05 Paper https://portal.mardi4nfdi.de/entity/Q4502547...10 bytes (16 words) - 09:28, 6 October 2023
- generatingfunctionology 2023-06-09 Paper Asymptotics for the number of standard tableaux of skew shape and for weighted lozenge tilings 2023-03-31 Paper Towards...10 bytes (19 words) - 10:06, 7 October 2023
- propositional logic via translation into classical logic 2019-10-01 Paper Connection-based proof construction in linear logic 2019-10-01 Paper Formal reasoning...10 bytes (16 words) - 15:54, 9 December 2023
- cacti and certain connection coefficients for the symmetric group 1993-01-16 Paper A linear operator for symmetric functions and tableaux in a strip with...10 bytes (19 words) - 15:55, 10 December 2023
- Diagrams from Region Connection Calculus Specifications with Local Search 2015-01-14 Paper Logics with Copy and Remove 2015-01-13 Paper Tableaux for Non-normal...10 bytes (16 words) - 12:24, 7 October 2023
- Constructing New APN Functions Through Relative Trace Functions 2024-03-14 Paper Tableaux for the Logic of Strategically Knowing How 2024-02-28 Paper Neighborhood...10 bytes (17 words) - 20:20, 8 December 2023