Decision Problems for Linear Logic with Least and Greatest Fixed Points

Anupam Das^*, Abhishek De^*, Alexis Saurin^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

14 Downloads (Pure)

Filter

Projects