Author:
Bethke Inge,Rodenburg Piet,Sevenster Arjen
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference8 articles.
1. Fields, meadows and abstract data types;Bergstra,2007
2. Meadows and the equational specification of division;Bergstra;Theor. Comput. Sci.,2009
3. The rational numbers as an abstract data type;Bergstra;J. ACM,2007
4. Subdirect unions in universal algebra;Birkhoff;Bull. Am. Math. Soc.,1944
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards an enumeration of finite common meadows;International Journal of Algebra and Computation;2024-07-27
2. Synthetic Fracterm Calculus;JUCS - Journal of Universal Computer Science;2024-03-28
3. Naive Fracterm Calculus;JUCS - Journal of Universal Computer Science;2023-09-28
4. Which Arithmetical Data Types Admit Fracterm Flattening?;Scientific Annals of Computer Science;2022-06-22
5. On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness;The Computer Journal;2022-04-05