Masaryk University

Publication Records

česky | in English

Filter publications

    2002

    1. Unification Modulo Associativity and Idempotency Is NP-complete
      KLÍMA, Ondřej. Unification Modulo Associativity and Idempotency Is NP-complete. In Mathematical Foundations of Computer Science 2002:27th International Symposium. Berlin: Springer-Verlag, 2002, p. 423-432. Lecture Notes in Computer Science, 2420. ISBN 3-540-44040-2.
      More: https://is.muni.cz/publication/483395/en
Display details
Displayed: 21/10/2024 03:25