Deciding the Word Problem in the Union of Equational Theories (2001)
Cached
Download Links
- [ftp.cs.uiowa.edu]
- [ftp.cs.uiowa.edu]
- [ftp.cs.uiowa.edu]
- [ftp.cs.uiowa.edu]
- [cs.uiowa.edu]
- DBLP
Other Repositories/Bibliography
by
Franz Baader
,
Cesare Tinelli
| Citations: | 20 - 8 self |
BibTeX
@MISC{Baader01decidingthe,
author = {Franz Baader and Cesare Tinelli},
title = {Deciding the Word Problem in the Union of Equational Theories},
year = {2001}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
