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

Author/Creator Sabel, David

1. Nominal unification with atom-variables. (January 2019)

Authors:: Schmidt-Schauß, Manfred; Sabel, David; Kutz, Yunus D.K.
Journal:: Journal of symbolic computation
Issue:: Volume 90(2018)
Page Start:: 42
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗