Equivalence of Conservative, Free, Linear Program Schemas is Decidable (2002)

Cached

Download Links

by Michael R. Laurence , Sebastian Danicic , Mark Harman , Rob Hierons , John Howroyd
Citations:7 - 5 self