Keyword:program

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