# Browse Illinois Research and Scholarship (Open Community) by Subject "pattern operations, initial decidability, order-sorted logic"

• (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. ...

application/pdf

PDF (482kB)