Skip to main content

1 Result(s)

within Computer Science Remove this filter Artificial Intelligence Remove this filter Information Systems and Communication Service Remove this filter Peter Ružička Remove this filter Conference Paper Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Efficient tree pattern unification

    The problem of many-to-one unification, i.e. a simultaneous weak unification of pattern terms against all subterms of a target term, is studied for linear terms. Two algorithms proposed in [10] generalize eith...

    Peter Ružička in SOFSEM'96: Theory and Practice of Informatics (1996)