Gábor Alagi

According to our database, Gábor Alagi authored at least 2 papers in 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Full Paper).

Gábor Alagi, Christoph Weidenbach

CoRR, 2015

NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment.

Gábor Alagi, Christoph Weidenbach

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015