37
Publications
2K
Citations
22
H-Index
1971
Active since
Don Pigozzi is an author at Iowa State University specializing in automated reasoning, engineering, and formal methods.
Top concepts
Automated ReasoningEngineeringFormal MethodsComputer ScienceRepresentation TheoryFormal VerificationLanguageEducationSemanticsLinguistics
Publications per year
1971–2009
37
37
W. J. Blok, Don Pigozzi · Memoirs of the American Mathematical Society · 1989 · 364 citations
A Survey of Abstract Algebraic Logic
Josep Maria Font, Ramón Jansana, Don Pigozzi · Studia Logica · 2003 · 256 citations
W. J. Blok, Don Pigozzi · Studia Logica · 1986 · 115 citations
Rows per page
1–5 of 37