The following pages link to Ekaterina Komendantskaya (Q280195):
Displayed 28 items.
- Exploiting parallelism in coalgebraic logic programming (Q280198) (← links)
- Recycling proof patterns in Coq: case studies (Q475385) (← links)
- Logic programming: laxness and saturation (Q1994355) (← links)
- Proof mining with dependent types (Q2364689) (← links)
- A productivity checker for logic programming (Q2409734) (← links)
- Coinductive soundness of corecursive type class resolution (Q2409746) (← links)
- Operational semantics of resolution and productivity in Horn clause logic (Q2628299) (← links)
- Proof Relevant Corecursive Resolution (Q2798268) (← links)
- ML4PG in Computer Algebra Verification (Q2843038) (← links)
- Proof-Pattern Recognition and Lemma Discovery in ACL2 (Q2870142) (← links)
- Inductive and Coinductive Components of Corecursive Functions in Coq (Q2873661) (← links)
- Unification neural networks: unification by error-correction learning (Q2889576) (← links)
- Coalgebraic Derivations in Logic Programming (Q2915694) (← links)
- Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming (Q3067470) (← links)
- Coalgebraic Semantics for Derivations in Logic Programming (Q3090874) (← links)
- (Q3384904) (← links)
- (Q3459922) (← links)
- Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness (Q3532471) (← links)
- Using Structural Recursion for Corecursion (Q3638255) (← links)
- Productive corecursion in logic programming (Q4592714) (← links)
- (Q4631184) (← links)
- Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs (Q4982058) (← links)
- The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them (Q5140030) (← links)
- A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation (Q5434488) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)
- Coalgebraic logic programming: from Semantics to Implementation (Q5739982) (← links)
- A Type-Theoretic Approach to Resolution (Q5743587) (← links)
- Coinduction in uniform: foundations for corecursive proof search with Horn clauses (Q6070807) (← links)