Search results
From MaRDI portal
- Publication Type Inductive Freeness of Ziegler's Canonical Multiderivations for Restrictions of Reflection Arrangements 2022-10-02 Paper Inductive Freeness of Ziegler's...10 bytes (13 words) - 11:24, 7 October 2023
- 2019-03-27 Paper Inductive and Recursive Freeness of Localizations of Multiarrangements 2018-11-16 Paper Localizations of Inductively Factored Arrangements...10 bytes (14 words) - 16:06, 8 December 2023
- Publication Type Arrangements of ideal type are inductively free 2019-07-23 Paper Inductive and Recursive Freeness of Localizations of Multiarrangements 2018-11-16...10 bytes (13 words) - 11:27, 14 March 2024
- Set Programming Using Approximation Fixpoint Theory 2022-09-30 Paper A freeness and sharing analysis of logic programs based on a pre-interpretation 2022-02-16...10 bytes (14 words) - 23:41, 24 September 2023
- terminological interpretation of (abductive) logic programming 2022-08-30 Paper A freeness and sharing analysis of logic programs based on a pre-interpretation 2022-02-16...10 bytes (13 words) - 07:52, 7 October 2023
- verification via inductive synthesis of inductive invariants 2024-04-05 Paper Effective entailment checking for separation logic with inductive definitions...10 bytes (13 words) - 08:41, 6 October 2023
- Interpolating Quantifier-Free Presburger Arithmetic 2010-10-12 Paper The general vector addition system reachability problem by Presburger inductive invariants 2010-09-21...10 bytes (13 words) - 06:09, 7 October 2023
- 2024-09-02 Paper Vertex-weighted digraphs and freeness of arrangements between Shi and Ish 2024-03-26 Paper MAT-free graphic arrangements and a characterization...10 bytes (15 words) - 01:59, 7 October 2023
- Separating counting communication complexity classes 2022-08-18 Paper Inductive counting below logspace 2022-08-18 Paper Some bounds on multiparty communication...10 bytes (13 words) - 17:03, 12 December 2023
- Publication Date of Publication Type An inductive proof of the Frobenius coin problem of two denominators 2023-08-06 Paper...10 bytes (13 words) - 09:55, 7 October 2023
- Paper Assertion based Inductive Verification Methods for Logic Programs 2013-06-06 Paper Logic programs as specifications in the inductive verification of logic...10 bytes (14 words) - 04:01, 13 December 2023
- 2018-10-09 Paper https://portal.mardi4nfdi.de/entity/Q4682582 2018-09-18 Paper Inductive Complexity and Shannon Entropy 2017-03-31 Paper Scaling Qualitative Probability...10 bytes (13 words) - 18:54, 11 December 2023
- graphs 2025-01-16 Paper A differentiable first-order rule learner for inductive logic programming 2024-07-03 Paper Favoring Eagerness for Remaining Items:...10 bytes (13 words) - 02:18, 25 September 2023
- Auslander criterion for openness of an algebraic morphism 2013-10-18 Paper An inductive analytic criterion for flatness 2013-09-03 Paper Tameness of complex dimension...10 bytes (13 words) - 07:58, 6 October 2023
- Molecular Computing 2009-05-14 Paper Efficient Algorithm for Testing Structure Freeness of Finite Set of Biomolecular Sequences 2009-04-02 Paper A New Translation...10 bytes (13 words) - 00:49, 9 December 2023
- graphs 2025-01-16 Paper A differentiable first-order rule learner for inductive logic programming 2024-07-03 Paper Favoring Eagerness for Remaining Items:...10 bytes (13 words) - 06:18, 7 October 2023
- Publication Date of Publication Type Graph-based shape analysis beyond context-freeness 2023-05-05 Paper Unified Reasoning About Robustness Properties of Symbolic-Heap...10 bytes (13 words) - 04:36, 7 October 2023
- of marks of a direct product of finite groups 2018-03-01 Paper The BMR freeness conjecture for the 2-reflection groups 2017-03-27 Paper Computations for...10 bytes (13 words) - 04:33, 7 October 2023
- derivation preserves the spine 2024-01-12 Paper Criteria to disprove context-freeness of collage languages 2022-12-09 Paper Hyperedge replacement with rendezvous...10 bytes (17 words) - 20:23, 11 December 2023
- rule within pure inductive logic 2016-02-09 Paper An analogy principle in inductive logic 2015-08-27 Paper From Unary to Binary Inductive Logic 2015-07-03...10 bytes (16 words) - 23:59, 9 December 2023
