Sandra Alves, Besik Dundua, M. Florido, Teimuraz Kutsia,
"A Confluent Pattern Calculus with Hedge Variables"
, in Nao Hirokawa, Vincent van Oostrom: Proceedings of the 2nd International Workshop on Confluence, IWC 2013, Seite(n) 41-45, 2013
Original Titel:
A Confluent Pattern Calculus with Hedge Variables
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 2nd International Workshop on Confluence, IWC 2013