Login / Signup
Dorottya Sziráki
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Computer Algebra
Automated Reasoning
Multi Valued
Proof Theory
Top Venues
Log. J. IGPL
</>
Publications
</>
Gábor Sági
,
Dorottya Sziráki
Some variants of Vaught's conjecture from the perspective of algebraic logic.
Log. J. IGPL
20 (6) (2012)