G\'abor Alagi

Identifiers

• name variant G\'abor Alagi 0.60 · backfill

Papers (1)

1. NRCL - A Model Building Approach to the Bernays-Sch\"onfinkel Fragment (Full Paper) cs.LO · 2015 · author #1

Mentions

• 1502.05501 #1 · backfill · confidence 0.70 G\'abor Alagi

Frequent Coauthors

• Christoph Weidenbach 1 shared papers