Original language | English |
---|---|
Volume | 9 |
Publication status | Published (in print/issue) - 2014 |
Publication series
Name | World Scientific Proceedings Series on Computer Engineering and Information Science |
---|
Keywords
- Lattice-valued logic
- Equality
- alpha-Paramodulation
- Automated reasoning