Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference26 articles.
1. The data type variety of stack algebras;Bergstra;Ann. Pure Appl. Logic,1995
2. The rational numbers as an abstract datatype;Bergstra;J. ACM,2007
3. Division safe calculation in totalised fields;Bergstra;Theory Comput. Syst.,2008
4. Meadows and the equational specification of division;Bergstra;Theoret. Comput. Sci.,2009
5. A site configuration engine;Burgess;Comput. Syst. (Cambridge MA, MIT Press),1995