Decision Problems for Propositional Linear Logic (1990)

by Patrick Lincoln , John Mitchell , Andre Scedrov , Natarajan Shankar
Citations:107 - 19 self