G\'abor Alagi

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Christoph Weidenbach 1 shared papers