Decision Problems for Propositional Linear Logic (1990)

by Patrick Lincoln , John Mitchell , Andre Scedrov , Natarajan Shankar
Citations:90 - 17 self