Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.13-33, ⟨10.1007/978-3-030-00389-0_3⟩
Conference papers
hal-02044649v1
|