*Result*: RML - A New Language and Implementation for Natural Semantics

Title:
RML - A New Language and Implementation for Natural Semantics
Programming language implementation and logic programming
Authors:
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (844):117-131
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings