Steven Givant

38 papers and 418 indexed citations i.

Steven Givant has authored 38 papers that have received a total of 418 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 Israel. Steven Givant's co-authors include Hajnal Andréka, István Németi, Alfred Tarski, Paul R. Halmos and Peter Jipsen and has published in prestigious journals such as Transactions of the American Mathematical Society, American Mathematical Monthly and Memoirs of the American Mathematical Society.