Florent Guepin

Follow

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	On the Existential Theories of Büchi Arithmetic and Linear p-adic Fields	2019	Florent Guepin Christoph Haase James Worrell

Common Coauthors

Coauthor	Papers Together
Christoph Haase	1
James Worrell	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Minimal solutions of linear diophantine systems : bounds and algorithms	1991	Loïc Pottier	1
+ PDF Chat	Unary finite automata vs. arithmetic progressions	2009	Anthony Widjaja To	1
+	Counting Points Modulo <i>p</i> for some Finitely Generated Subgroups of Algebraic Groups	1982	Christopher R. Matthews	1
+ PDF Chat	A bound on solutions of linear integer equalities and inequalities	1978	Joachim von zur Gathen Malte Sieveking	1
+	Elimination of quantifiers in algebraic structures	1983	Angus Macintyre K.F. McKenna Lou van den Dries	1
+	Decision procedures for real and <i>p</i>‐adic fields	1969	Paul J. Cohen	1
+	Diophantine Problems Over Local Fields: III. Decidable Fields	1966	James Ax Simon Kochen	1
+ PDF Chat	Computations with p-adic numbers	2017	Xavier Caruso	1
+	Diophantine Problems Over Local Fields I	1965	James Ax Simon Kochen	1
+ PDF Chat	Theory of linear and integer programming	1987		1