Fingerprint
Dive into the research topics of 'Non-wellfounded proof theory for (Kleene+action)(Algebras+lattices)'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Non-wellfounded proof theory for (Kleene+action)(Algebras+lattices)
Anupam Das, Damien Pous
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
7
Citations
(Scopus)
52
Downloads
(Pure)