Keyword:program

Publications
An Intelligent Board of Security Countermeasure Cases in Prolog. Frank Appiah EasyChair Preprint 4496
Is it possible to unify sequential programs? Tatyana Novikova and Vladimir Zakharov In:UNIF 2013. 27th International Workshop on Unification