共 50 条
- [31] On the decidability of equational theories of varieties of rings Mathematical Notes, 1998, 63 : 770 - 776
- [33] On equational theories of varieties of anticommutative rings Mathematical Notes, 1999, 65 : 188 - 201
- [36] Prime Implicate Generation in Equational Logic JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2017, 60 : 827 - 880
- [37] A spatial equational logic for the applied π-calculus CONCUR 2008 - CONCURRENCY THEORY, PROCEEDINGS, 2008, 5201 : 387 - 401