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

Author/Creator Okhotin, Alexander

1. Descriptional complexity of formal systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings. (2015)

Editors:: Shallit, Jeffrey Outlaw; Okhotin, Alexander
Other Names:: DCFS (Workshop), 17th
Record Type:: Book
Extent:: 1 online resource (xii, 293 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Extensions of unificationmodulo ACUI. (11th June 2020)

Authors:: Baader, Franz; Marantidis, Pavlos; Mottet, Antoine; Okhotin, Alexander
Journal:: Mathematical structures in computer science
Issue:: Volume 30:Number 6(2020)
Page Start:: 597
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Language and Automata Theory and Applications : 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /: 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings. (2019)

Editors:: Martín Vide, Carlos; Okhotin, Alexander; Shapira, Dana
Other Names:: LATA (Conference), 13th
Record Type:: Book
Extent:: 1 online resource (xvii, 470 pages), illustrations (some color)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗