Browse Illinois Research and Scholarship (Open Community) by Subject "pattern operations, initial decidability, order-sorted logic"
Now showing items 1-1 of 1
(2015-06-13)A pattern, i.e., a term possibly with variables, denotes the set (language) of all its ground instances. In an untyped setting, symbolic operations on finite sets of patterns can represent Boolean operations on languages. ...