Decision Problems for Propositional Linear Logic (1990)

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