The following pages link to Coinductive Logic Programming (Q5449611):
Displaying 24 items.
- Coinductive big-step operational semantics (Q1012129) (← links)
- Constraint-based correctness proofs for logic program transformations (Q1941873) (← links)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- On dual programs in co-logic programming and the Horn \({\mu}\)-calculus (Q2628297) (← links)
- Chosen-Ciphertext Security from Subset Sum (Q2798769) (← links)
- Extracting Proofs from Tabled Proof Search (Q2938048) (← links)
- Generalizing Inference Systems by Coaxioms (Q2988632) (← links)
- Idealized coinductive type systems for imperative object-oriented programs (Q3006157) (← links)
- Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? (Q3067532) (← links)
- (Q3121528) (← links)
- (Q3384904) (← links)
- Extending Co-logic Programs for Branching-Time Model Checking (Q3453651) (← links)
- A Logical Encoding of Timed $$\pi $$-Calculus (Q3453652) (← links)
- Type Inference by Coinductive Logic Programming (Q3638242) (← links)
- Productive corecursion in logic programming (Q4592714) (← links)
- (Q5028421) (← links)
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let (Q5075515) (← links)
- Synthesizing Imperative Code from Answer Set Programming Specifications (Q5097626) (← links)
- Flexible coinductive logic programming (Q5140017) (← links)
- The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them (Q5140030) (← links)
- On Dual Programs in Co-Logic Programming (Q5743583) (← links)
- Deconfined Global Types for Asynchronous Sessions (Q5883749) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- Partially Typed Multiparty Sessions (Q6197376) (← links)
