A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees

Evgeny Dantsin, Andrei Voronkov, Wolfgang Thomas (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Publication series

    NameLecture Notes in Computer Science


    ConferenceFoundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    Period1/01/24 → …
    Internet address

    Cite this