Distinguished Dissertations in Computer Science Ser.Operational Semantics and Proof Theory
Ingenaaid — ISBN: 9780521607544
Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming langua…
Leverbaar