Skip to main content

2 Result(s)

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

and

  1. No Access

    Book and Conference Proceedings

    SOFSEM 2001: Theory and Practice of Informatics

    28th Conference on Current Trends in Theory and Practice of Informatics Piešt’any, Slovak Republic, November 24 – December 1, 2001 Proceedings

    Leszek Pacholski, Peter Ružička in Lecture Notes in Computer Science (2001)

  2. 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)