Author:
Dawson Jeremy E.,Goré Rajeev
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Nuel D. Belnap, Display Logic, Journal of Philosophical Logic 11 (1982), 375–417.
2. Rudolf Berghammer & Claudia Hattensperger, Computer-Aided Manipulation of Relational Expressions and Formulae Using RALF, preprint.
3. Garrett Birkhoff, On the Structure of Abstract Algebras, Proc. Cambridge Phil. Soc. 31 (1935), 433–454.
4. R.J. Brachman & J.G. Schmolze, An overview of the KL-ONE knowledge representation system, Cognitive Science 9(2) (1985), 171–216.
5. Chris Brink, Katarina Britz & Renate A. Schmidt, Peirce Algebras, Formal Aspects of Computing 6 (1994), 339–358.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献