Steven Givant
About
Steven Givant has authored 38 papers that have received a total of 413 indexed citations.
This includes 24 papers in Computational Theory and Mathematics, 21 papers in Artificial Intelligence and 5 papers in Algebra and Number Theory. The topics of these papers are Advanced Algebra and Logic (24 papers), Logic, Reasoning, and Knowledge (18 papers) and Logic, programming, and type systems (11 papers). Steven Givant is often cited by papers focused on Advanced Algebra and Logic (24 papers), Logic, Reasoning, and Knowledge (18 papers) and Logic, programming, and type systems (11 papers) and collaborates with scholars based in United States, Hungary and United Kingdom. Steven Givant's co-authors include Hajnal Andréka, István Németi, Alfred Tarski, András Simon and Mário J. Edmundo and has published in prestigious journals such as Transactions of the American Mathematical Society, American Mathematical Monthly and Memoirs of the American Mathematical Society
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Colleen A. McMullen Top fields papers by Vera Yakovchenko are about Top countries impacted by papers by Kenji Yatomi Top fields papers by Christophe Parisse are about Top journals papers by N. Hayafuji are published in Top fields papers by Irene Vélez‐Torres are about Top authors papers by A. V. Chirkov are co-authored with Top fields papers by Silvio Jorge Coelho Simões are about