Matching linear and non-linear trace patterns with regular policies

Franz Baader, Andreas Bauer, Alwen Tiu

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Original languageEnglish
    Title of host publicationProceedings of The 22nd International Workshop on Unification (UNIF 2008)
    EditorsMircea Marin
    Place of PublicationLinz, Austria
    PublisherConference Organising Committee
    EditionPeer Reviewed
    Publication statusPublished - 2008
    EventInternational Workshop on Unification (UNIF 2008) - Hagenberg Austria
    Duration: 1 Jan 2008 → …


    ConferenceInternational Workshop on Unification (UNIF 2008)
    Period1/01/08 → …
    OtherJuly 18 2008
    Internet address

    Cite this