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

Hervé Perdry

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEHervé Perdry: Lazy bases: a minimalist constructive theory of Noetherian rings. Math. Log. Q. 54(1): 70-82 (2008)
4EEMaria Emilia Alonso, Henri Lombardi, Hervé Perdry: Elementary constructive theory of Henselian local rings. Math. Log. Q. 54(3): 253-271 (2008)
2005
3EEHervé Perdry, Mariemi Alonso, Henri Lombardi: Henselian Local Rings: Around a Work in Progress. Mathematics, Algorithms, Proofs 2005
2EEHervé Perdry: Henselian valued fields: a constructive point of view. Math. Log. Q. 51(4): 400-416 (2005)
2004
1EEHervé Perdry: Strongly Noetherian rings and constructive ideal theory. J. Symb. Comput. 37(4): 511-535 (2004)

Coauthor Index

1Maria Emilia Alonso [4]
2Mariemi Alonso [3]
3Henri Lombardi [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)