Teimuraz Kutsia, Mircea Marin,
"Order-Sorted Unification with Regular Expression Sorts"
, in Christopher Lynch: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, Serie Leibniz International Proceedings in Informatics (LIPIcs), Vol. 6, Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik, Seite(n) 193-208, 2010, ISBN: 978-3-939897-18-7
Original Titel:
Order-Sorted Unification with Regular Expression Sorts
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010
Veröffentlicher:
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
Serie:
Leibniz International Proceedings in Informatics (LIPIcs)
Forschungs-