Goal Solving as Operational Semantics

doi 10.7551/mitpress/4301.003.0007
Full Text
Abstract

Available in full text

Date
Authors

Unknown

Publisher

The MIT Press