Matching linear and non-linear trace patterns with regular policies

Franz Baader, Andreas Bauer, Alwen Tiu

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

Original language	English
Title of host publication	Proceedings of The 22nd International Workshop on Unification (UNIF 2008)
Editors	Mircea Marin
Place of Publication	Linz, Austria
Publisher	Conference Organising Committee
Pages	16-24
Edition	Peer Reviewed
Publication status	Published - 2008
Event	International Workshop on Unification (UNIF 2008) - Hagenberg Austria Duration: 1 Jan 2008 → … http://www2.score.cs.tsukuba.ac.jp/publications/published_articles/publications/UNIF_proceedings.pdf

Conference	International Workshop on Unification (UNIF 2008)
Period	1/01/08 → …
Other	July 18 2008
Internet address	http://www2.score.cs.tsukuba.ac.jp/publications/published_articles/publications/UNIF_proceedings.pdf

Cite this

@inproceedings{2de6b9f307874a20888310c4aaf4f77c,

title = "Matching linear and non-linear trace patterns with regular policies",

author = "Franz Baader and Andreas Bauer and Alwen Tiu",

year = "2008",

language = "English",

pages = "16--24",

editor = "\{Mircea Marin\}",

booktitle = "Proceedings of The 22nd International Workshop on Unification (UNIF 2008)",

publisher = "Conference Organising Committee",

edition = "Peer Reviewed",

note = "International Workshop on Unification (UNIF 2008) ; Conference date: 01-01-2008",

url = "http://www2.score.cs.tsukuba.ac.jp/publications/published\_articles/publications/UNIF\_proceedings.pdf",

}

Matching linear and non-linear trace patterns with regular policies. / Baader, Franz; Bauer, Andreas; Tiu, Alwen.
Proceedings of The 22nd International Workshop on Unification (UNIF 2008). ed. / Mircea Marin. Peer Reviewed. ed. Linz, Austria: Conference Organising Committee, 2008. p. 16-24.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

TY - GEN

T1 - Matching linear and non-linear trace patterns with regular policies

AU - Baader, Franz

AU - Bauer, Andreas

AU - Tiu, Alwen

PY - 2008

Y1 - 2008

M3 - Conference Paper

SP - 16

EP - 24

BT - Proceedings of The 22nd International Workshop on Unification (UNIF 2008)

A2 - null, Mircea Marin

PB - Conference Organising Committee

CY - Linz, Austria

T2 - International Workshop on Unification (UNIF 2008)

Y2 - 1 January 2008

ER -