×

Found 36 Authors (Results 1–36)

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

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.

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.

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.

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

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.

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.

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

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.

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

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.

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

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.

Filter Results by …

all top 3

Main Field

all top 3

External Link