Author:
Carette Jacques,Sexton Alan P.,Sorge Volker,Watt Stephen M.
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Blizard, W.D.: Multiset theory. Notre Dame Journal of Formal Logic 30(1), 36–66 (Winter 1989)
2. Blizard, W.D.: Negative membership. Notre Dame Journal of Formal Logic 31(3), 346–368 (1990)
3. Boole, G.: An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. Walton and Maberly, London (1854),
http://www.gutenberg.org/etext/15114
4. Burgin, M.S.: Concept of multisets in cybernetics. Cybernetics and Systems Analysis 28(3), 371–469 (1992)
5. Carette, J.: A canonical form for piecewise defined functions. In: Proc. of ISSAC 2007, pp. 77–84. ACM Press, New York (2007)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hybrid Intervals and Symbolic Block Matrices;2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2023-09-11
2. The Programming of Algebra;Electronic Proceedings in Theoretical Computer Science;2022-06-30
3. A Review of Algorithms for Symbolic Domains;2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2019-09
4. Purely Catalytic P Systems over Integers and Their Generative Power;Membrane Computing;2017