Andréka, Hajnal 145 Publications (1973–2023) indexed 937 Citations Co-Authors: Németi, István; Givant, Steven R.; Madarász, Judit X.; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX) Published as: Andréka, Hajnal; Andreka, H.; Andréka, H.; Andreka, Hajnal; Andréka, Hajnalka more...less
Barringer, Howard 40 Publications (1979–2014) indexed 237 Citations Co-Authors: Gabbay, Dov M.; Gough, Graham; Fisher, Michael; … Main Fields: Computer science (68-XX) Published as: Barringer, Howard; Barringer, H.
Bezhanishvili, Nick 98 Publications (2002–2024) indexed 430 Citations Co-Authors: Bezhanishvili, Guram; Ghilardi, Silvio; Lucero-Bryan, Joel Gregory; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX) Published as: Bezhanishvili, Nick; Bezhanishvili, N.
Brough, Derek 1 Publication (1996) indexed Co-Authors: Barringer, Howard; Fisher, Michael; Gabbay, Dov M.; … Main Fields: Computer science (68-XX) Published as: Brough, Derek
Bulian, Jannis 5 Publications (2013–2017) indexed 34 Citations Co-Authors: Dawar, Anuj; Hodkinson, Ian Martin Main Fields: Combinatorics (05-XX); Computer science (68-XX) Published as: Bulian, Jannis
Evans, David M. 63 Publications (1985–2023) indexed 277 Citations Co-Authors: Hubička, Jan; Evans, George W. II; Hrushovski, Ehud; … Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX) Published as: Evans, David M.; Evans, David; Evans, D. M.; Evans, D. more...less
Fisher, Michael 93 Publications (1971–2022) indexed 344 Citations Co-Authors: Dixon, Clare; Konev, Boris; Degtyarev, Anatoli Ivanovich; … Main Fields: Computer science (68-XX) Published as: Fisher, Michael; Fisher, M.
Gabbay, Dov M. 374 Publications (1971–2023) indexed 3,224 Citations Co-Authors: Woods, John; van der Torre, Leendert W. N.; Günthner, Franz; … Main Fields: Mathematical logic and foundations (03-XX) Published as: Gabbay, Dov M.; Gabbay, Dov; Gabbay, D. M.; Gabbay, D.; Gabbay, Dov. M. more...less
Goldblatt, Robert Ian 102 Publications (1972–2023) indexed 1,136 Citations Co-Authors: Hodkinson, Ian Martin; Downey, Rodney Graham; Mares, Edwin D.; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Order, lattices, ordered algebraic structures (06-XX); ... Published as: Goldblatt, Robert; Goldblatt, R. I.; Goldblatt, R.; Goldblatt, Robert Ian; Goldblatt, Robert I. more...less
Gough, Graham 6 Publications (1992–2002) indexed 12 Citations Co-Authors: Barringer, Howard; Fisher, Michael; Gabbay, Dov M.; … Main Fields: Computer science (68-XX) Published as: Gough, Graham; Gough, G.
Governatori, Guido 78 Publications (1996–2022) indexed 221 Citations Co-Authors: Rotolo, Antonino; Oliveri, Francesco; Cristani, Matteo; … Main Fields: Computer science (68-XX) Published as: Governatori, Guido; Governatori, G.
Hirsch, Robin 57 Publications (1994–2022) indexed 420 Citations Co-Authors: Hodkinson, Ian Martin; Mikulás, Szabolcs; Egrot, Rob; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Order, lattices, ordered algebraic structures (06-XX) Published as: Hirsch, Robin; Hirsch, R.
Hodges, Wilfrid 109 Publications (1972–2023) indexed 1,256 Citations Co-Authors: Shelah, Saharon; Bour, Pierre Edouard; Heinzmann, Gerhard; … Main Fields: Mathematical logic and foundations (03-XX); History and biography (01-XX); Group theory and generalizations (20-XX); ... Published as: Hodges, Wilfrid; Hodges, W.; Hodges, Wilfred more...less
Hunter, Anthony 89 Publications (1991–2023) indexed 592 Citations Co-Authors: Besnard, Philippe; Grant, John R.; Liu, Weiru; … Main Fields: Computer science (68-XX) Published as: Hunter, Anthony; Hunter, A.
Hussain, Altaf 12 Publications (2006–2024) indexed 10 Citations Co-Authors: Huth, Michael R. A.; Cao, Junyi; Cheng, Wenming; … Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX) Published as: Hussain, Altaf
Jackson, Marcel G. 70 Publications (1996–2023) indexed 546 Citations Co-Authors: Stokes, Timothy E.; Davey, Brian A.; Niven, Todd; … Main Fields: General algebraic systems (08-XX); Group theory and generalizations (20-XX); Mathematical logic and foundations (03-XX) Published as: Jackson, Marcel; Jackson, M. G.; Jackson, M.; Jackson, Marcel G. more...less
Lascar, Daniel 61 Publications (1971–2009) indexed 487 Citations Co-Authors: Cori, René; Delon, Françoise; Pillay, Anand; … Main Fields: Mathematical logic and foundations (03-XX) Published as: Lascar, Daniel; Lascar, D.
Macpherson, Dugald 80 Publications (1989–2023) indexed 794 Citations Co-Authors: Haskell, Deirdre; Steinhorn, Charles I.; Tent, Katrin; … Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Combinatorics (05-XX) Published as: Macpherson, Dugald; MacPherson, Dugald; MacPherson, D. more...less
Macpherson, Hugh Dugald 30 Publications (1980–2021) indexed 303 Citations Co-Authors: Droste, Manfred; Holland, Wilbur Charles jun.; Haskell, Deirdre; … Main Fields: Group theory and generalizations (20-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX) Published as: Macpherson, H. D.; Macpherson, H. Dugald; MacPherson, H. D.; Macpherson, Hugh Dugald; MacPherson, Hugh more...less
Maddux, Roger D. 61 Publications (1978–2023) indexed 580 Citations Co-Authors: Hirsch, Robin; Kramer, Richard L.; Alm, Jeremy F.; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX) Published as: Maddux, Roger D.; Maddux, Roger; Maddux, R. D.; Maddux, Robert D.; Maddux, R. more...less
McBrien, Peter 7 Publications (1996–2005) indexed 1 Citation Co-Authors: Poulovassilis, Alexandra; Hunter, Anthony; Barringer, Howard; … Main Fields: Computer science (68-XX) Published as: McBrien, Peter
Mikulás, Szabolcs 45 Publications (1992–2022) indexed 176 Citations Co-Authors: Marx, Maarten; Hirsch, Robin; Németi, István; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX) Published as: Mikulás, Szabolcs
Montanari, Angelo 132 Publications (1992–2023) indexed 578 Citations Co-Authors: Sala, Pietro; Peron, Adriano; Sciavicco, Guido; … Main Fields: Mathematical logic and foundations (03-XX) Published as: Montanari, Angelo; Montanari, A.
Németi, István 171 Publications (1973–2023) indexed 1,006 Citations Co-Authors: Andréka, Hajnal; Sain, Ildikó; Madarász, Judit X.; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX) Published as: Németi, István; Nemeti, I.; Németi, I.; Nemeti, Istvan; Németi, Istvan more...less
Otto, Martin 57 Publications (1987–2023) indexed 336 Citations Co-Authors: Grädel, Erich; Ciardelli, Ivano A.; Blumensath, Achim; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX) Published as: Otto, Martin
Owens, Richard 4 Publications (1995–1998) indexed 12 Citations Co-Authors: Fisher, Michael; Barringer, Howard; Gabbay, Dov M.; … Main Fields: Computer science (68-XX); General and overarching topics; collections (00-XX) Published as: Owens, Richard; Owens, R.
Paternault, Louis 1 Publication (2010) indexed Co-Authors: Hodkinson, Ian Martin Main Fields: Mathematical logic and foundations (03-XX) Published as: Paternault, Louis
Reynolds, Mark Alexander 72 Publications (1984–2021) indexed 401 Citations Co-Authors: French, Tim; McCabe-Dansted, John Christopher; Gigante, Nicola; … Main Fields: Mathematical logic and foundations (03-XX) Published as: Reynolds, Mark; Reynolds, M. A.; Reynolds, M.; Reynolds, Mark Alexander; Reynolds, Mark A. more...less
Sciavicco, Guido 64 Publications (2002–2023) indexed 310 Citations Co-Authors: Montanari, Angelo; Bresolin, Davide; Della Monica, Dario; … Main Fields: Mathematical logic and foundations (03-XX) Published as: Sciavicco, Guido; Sciavicco, G.
Shelah, Saharon 1,331 Publications (1969–2024) indexed 10,452 Citations Co-Authors: Göbel, Rüdiger; Rosłanowski, Andrzej; Goldstern, Martin Robert; … Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Order, lattices, ordered algebraic structures (06-XX) Published as: Shelah, Saharon; Shelah, S.
Simon, András 29 Publications (1951–2021) indexed 61 Citations Co-Authors: Németi, István; Sain, Ildikó; Andréka, Hajnal; … Main Fields: Mathematical logic and foundations (03-XX) Published as: Simon, András; Simon, A.
Tahiri, Hicham 1 Publication (2010) indexed Co-Authors: Hodkinson, Ian Martin Main Fields: Mathematical logic and foundations (03-XX) Published as: Tahiri, Hicham
van Benthem, Johan F. A. K. 243 Publications (1973–2024) indexed 2,912 Citations Co-Authors: Pacuit, Eric; Bezhanishvili, Nick; Liu, Fenrong; … Main Fields: Mathematical logic and foundations (03-XX) Published as: van Benthem, Johan; van Benthem, J. F. A. K.; Van Benthem, J. F. A. K.; van Benthem, J.; Van Benthem, Johan; Benthem, Johan van more...less
Venema, Yde 103 Publications (1989–2023) indexed 1,605 Citations Co-Authors: Enqvist, Sebastian; Kupke, Clemens; Hodkinson, Ian Martin; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Order, lattices, ordered algebraic structures (06-XX) Published as: Venema, Yde; Venema, Y.
Wolter, Frank 124 Publications (1991–2023) indexed 1,234 Citations Co-Authors: Zakharyaschev, Michael Viktorovich; Lutz, Carsten; Konev, Boris; … Main Fields: Mathematical logic and foundations (03-XX) Published as: Wolter, Frank; Wolter, F.
Zakharyaschev, Michael Viktorovich 119 Publications (1978–2023) indexed 1,394 Citations Co-Authors: Wolter, Frank; Kontchakov, Roman; Ryzhikov, Vladislav; … Main Fields: Mathematical logic and foundations (03-XX) Published as: Zakharyaschev, Michael; Zakharyaschev, M.; Zakhar’yashchev, M. V.; Zakhar’yashchev, Mikhail; Zakharyashchev, Michael; Zakharyashchev, Mikhail; Zakharyashchev, M. V.; Zakharyashchev, M. more...less