dblp.uni-trier.dewww.uni-trier.de

Françoise Maurin Vis

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
1EEFrançoise Maurin: Exact Complexity Bounds for Ordinal Addition. Theor. Comput. Sci. 165(2): 247-273 (1996)

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)