Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Damien Pous

Hacking Nondeterminism With Induction and Coinduction

Communications of the ACM
Computer Science
2015English

Kleene Algebra With Hypotheses

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Cut-Free Cyclic Proof System for Kleene Algebra

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Coinductive Algorithms for Büchi Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines

2017English

Using Bisimulation Proof Techniques for the Analysis of Distributed Abstract Machines

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy