1997 | ||
---|---|---|
3 | Françoise Maurin: Ehrenfeucht Games and Ordinal Addition. Ann. Pure Appl. Logic 89(1): 53-73 (1997) | |
2 | Françoise Maurin: The Theory of Integer Multiplication with Order Restricted to Primes Is Decidable. J. Symb. Log. 62(1): 123-130 (1997) | |
1996 | ||
1 | EE | Françoise Maurin: Exact Complexity Bounds for Ordinal Addition. Theor. Comput. Sci. 165(2): 247-273 (1996) |