Login / Signup
Jirí Rosický
ORCID
Publication Activity (10 Years)
Years Active: 1992-2024
Publications (10 Years): 13
Top Topics
Metric Space
School Children
Continuous Relaxation
Equational Theories
Top Venues
Appl. Categorical Struct.
J. Symb. Log.
Math. Struct. Comput. Sci.
Ann. Pure Appl. Log.
</>
Publications
</>