Lecture Notes in Economic and Mathematical Systems

1 primary work

Conditional Term Rewriting Systems

Published 5 March 1993