Author:
Marra Vincenzo,Spada Luca
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference22 articles.
1. Aguzzoli S.: ‘A note on the representation of McNaughton lines by basic literals’, Soft Comput., 2(3), 111–115 (1998)
2. Bigard A., Keimel K., Wolfenstein S.: Groupes et anneaux réticulés Lecture Notes in Mathematics, Vol. 608. Springer-Verlag, Berlin (1977)
3. Bochnak J., Coste M., Roy M.-F.: Real algebraic geometry, vol. 36 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3). Springer-Verlag, Berlin (1998)
4. Burris S., Sankappanavar H.P.: A course in universal algebra, vol. 78 of Graduate Texts in Mathematics. Springer-Verlag, New York (1981)
5. Chang C.C.: ‘Algebraic analysis of many valued logic’. Trans. Amer. Math. Soc 88, 467–490 (1958)
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献