dblp.uni-trier.dewww.uni-trier.de

Barbara Morawska

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Christopher Lynch [1] [2] [3] [4] [5] [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)