![]() | ![]() |
2007 | ||
---|---|---|
8 | EE | Barbara Morawska: General E -unification with Eager Variable Elimination and a Nice Cycle Rule. J. Autom. Reasoning 39(1): 77-106 (2007) |
2005 | ||
7 | EE | Christopher Lynch, Barbara Morawska: Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories. RTA 2005: 90-104 |
2003 | ||
6 | EE | Barbara Morawska: Completeness of E-Unification with Eager Variable Elimination. LPAR 2003: 198-212 |
2002 | ||
5 | EE | Christopher Lynch, Barbara Morawska: Basic Syntactic Mutation. CADE 2002: 471-485 |
4 | EE | Christopher Lynch, Barbara Morawska: Automatic Decidability. LICS 2002: 7- |
2001 | ||
3 | EE | Christopher Lynch, Barbara Morawska: Decidability and Complexity of Finitely Closable Linear Equational Theories. IJCAR 2001: 499-513 |
2 | EE | Christopher Lynch, Barbara Morawska: Complexity of Linear Standard Theories. LPAR 2001: 186-200 |
1 | EE | Christopher Lynch, Barbara Morawska: Goal-Directed E-Unification. RTA 2001: 231-245 |
1 | Christopher Lynch | [1] [2] [3] [4] [5] [7] |