Edit Profile (opens in new tab) Alagi, Gábor Co-Author Distance Author ID: alagi.gabor Published as: Alagi, Gábor Documents Indexed: 3 Publications since 2011 Co-Authors: 3 Co-Authors with 2 Joint Publications 64 Co-Co-Authors Co-Authors 1 single-authored 1 Pásztor Varga, Katalin 1 Várterész, Magda 1 Weidenbach, Christoph Serials 1 Acta Universitatis Sapientiae. Informatica Fields 3 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1 Publications have been cited 11 times in 11 Documents Cited by ▼ Year ▼ NRCL – a model building approach to the Bernays-Schönfinkel fragment. Zbl 1471.03013 Alagi, Gábor; Weidenbach, Christoph 11 2015 NRCL – a model building approach to the Bernays-Schönfinkel fragment. Zbl 1471.03013 Alagi, Gábor; Weidenbach, Christoph 11 2015 all cited Publications top 5 cited Publications all top 5 Cited by 11 Authors 7 Weidenbach, Christoph 3 Bonacina, Maria Paola 2 Bromberger, Martin 2 Leidinger, Hendrik 2 Winkler, Sarah 1 Alagi, Gábor 1 Fiori, Alberto 1 Leutgeb, Lorenz 1 Plaisted, David Alan 1 Sturm, Thomas 1 Voigt, Marco Cited in 2 Serials 4 Journal of Automated Reasoning 1 Journal of Symbolic Computation Cited in 3 Fields 10 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year