Author/Creator: Marin, Mircea - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Marin, Mircea

1. Regular expression order-sorted unification and matching. (March 2015)

Authors:: Kutsia, Temur; Marin, Mircea
Journal:: Journal of symbolic computation
Issue:: Volume 67(2015)
Page Start:: 42
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Variadic equational matching in associative and commutative theories. (September 2021)

Authors:: Dundua, Besik; Kutsia, Temur; Marin, Mircea
Journal:: Journal of symbolic computation
Issue:: Volume 106(2021)
Page Start:: 78
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗