Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
10.7561/SACS.2022.1.137 | Scientific Annals of Computer Science |
| 2022 | |
Inversive meadows and divisive meadows | Journal of Applied Logic | 9 | 2011 | |
The rational numbers as an abstract data type | Journal of the ACM |
| 20 | 2007 |
10.1137/S0097539794265402 | 1997 | |||
10.1007/BF01053036 | 1995 |