Login / Signup
Yves Cornulier
Publication Activity (10 Years)
Years Active: 2009-2020
Publications (10 Years): 1
Top Topics
First Order Logic
Linear Temporal Logic
Multi Agent Systems
Top Venues
J. Symb. Log.
</>
Publications
</>
Yves Cornulier
,
John S. Wilson
First-order Recognizability in finite and pseudofinite Groups.
J. Symb. Log.
85 (2) (2020)
Yves Cornulier
The Space of Finitely Generated Rings.
Int. J. Algebra Comput.
19 (3) (2009)