Skip to main content

1 Result(s)

within English Remove this filter Computer Science Remove this filter Computer Systems Organization and Communication Networks Remove this filter Information Systems and Communication Service Remove this filter Peter Ružička Remove this filter

and

  1. No Access

    Article

    An almost linear Robinson unification algorithm

    Further asymptotical improvement of original Robinson's unification idea is presented. By postponing the so-called occur-check in Corbin and Bidoit's quadratic rehabilitation of the Robinson algorithm at the e...

    Peter Ružička, Igor Prívara in Acta Informatica (1989)