The following pages link to Cyclist (Q30358):
Displaying 26 items.
- Partial evaluation of string obfuscations for Java malware detection (Q511016) (← links)
- Compositional entailment checking for a fragment of separation logic (Q1688543) (← links)
- Induction and Skolemization in saturation theorem proving (Q2084957) (← links)
- Cyclic proofs, hypersequents, and transitive closure logic (Q2104539) (← links)
- Transforming orthogonal inductive definition sets into confluent term rewrite systems (Q2141298) (← links)
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087) (← links)
- PSPACE-completeness of a thread criterion for circular proofs in linear logic with least and greatest fixed points (Q2180526) (← links)
- Combining induction and saturation-based theorem proving (Q2303240) (← links)
- Circular proofs for the Gödel-Löb provability logic (Q2343897) (← links)
- Inductive theorem proving based on tree grammars (Q2344621) (← links)
- Soundness and completeness proofs by coinductive methods (Q2362498) (← links)
- Automated mutual induction proof in separation logic (Q2414251) (← links)
- Model checking for symbolic-heap separation logic with inductive predicates (Q2828247) (← links)
- Cyclic Arithmetic Is Equivalent to Peano Arithmetic (Q2988374) (← links)
- Classical System of Martin-Löf’s Inductive Definitions Is Not Equivalent to Cyclic Proof System (Q2988375) (← links)
- Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic (Q2988661) (← links)
- Disproving Inductive Entailments in Separation Logic via Base Pair Approximation (Q3455777) (← links)
- Deciding Entailments in Inductive Separation Logic with Tree Automata (Q3457790) (← links)
- Program Equivalence is Coinductive (Q4635889) (← links)
- (Q5079760) (← links)
- (Q5140266) (← links)
- (Q5208872) (← links)
- (Q5227521) (← links)
- Program Verification with Separation Logic (Q5883571) (← links)
- Automatically verifying temporal properties of pointer programs with cyclic proof (Q5919481) (← links)
- Sound and complete equational reasoning over comodels (Q5971406) (← links)
