FGCS '92

FGCS '92

4.11 - 1251 ratings - Source

Equality test. Conditional constructions. This ends the description of atomic functions. We will need in the following lines the classical macro- instruction unify , that unifies ( Struct 1, Envl) with (Struct2, Env2)13. Leta#39;s see on an example how theanbsp;...

Title:FGCS '92
Publisher:IOS Press - 1992-01-01


You Must CONTINUE and create a free account to access unlimited downloads & streaming