A Confluent Pattern Calculus with Hedge Variables

Sandra Alves, Besik Dundua, M. Florido, Teimuraz Kutsia

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

Original language	English
Title of host publication	Proceedings of the 2nd International Workshop on Confluence, IWC 2013
Editors	Nao Hirokawa, Vincent van Oostrom
Pages	41-45
Number of pages	5
Publication status	Published - 2013

Fields of science

@inproceedings{97c42fa7e8dd4d10a9108af633d612c2,

title = "A Confluent Pattern Calculus with Hedge Variables",

author = "Sandra Alves and Besik Dundua and M. Florido and Teimuraz Kutsia",

year = "2013",

language = "English",

pages = "41--45",

editor = "\{Nao Hirokawa, Vincent van Oostrom\}",

booktitle = "Proceedings of the 2nd International Workshop on Confluence, IWC 2013",

}

TY - GEN

T1 - A Confluent Pattern Calculus with Hedge Variables

AU - Alves, Sandra

AU - Dundua, Besik

AU - Florido, M.

AU - Kutsia, Teimuraz

PY - 2013

Y1 - 2013

UR - http://www.jaist.ac.jp/~hirokawa/iwc2013/

M3 - Conference proceedings

SP - 41

EP - 45

BT - Proceedings of the 2nd International Workshop on Confluence, IWC 2013

A2 - Nao Hirokawa, Vincent van Oostrom, null

ER -