P. H. B. Gardiner

9 papers and 135 indexed citations i.

P. H. B. Gardiner has authored 9 papers that have received a total of 135 indexed citations. This includes 8 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 3 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (8 papers), Formal Methods in Verification (6 papers) and Logic, Reasoning, and Knowledge (4 papers). P. H. B. Gardiner is often cited by papers focused on Logic, programming, and type systems (8 papers), Formal Methods in Verification (6 papers) and Logic, Reasoning, and Knowledge (4 papers) and collaborates with scholars based in United Kingdom and United States. P. H. B. Gardiner's co-authors include Carroll Morgan, Andrew Martin, Jim Woodcock, Clare Martin and Oege de Moor and has published in prestigious journals such as Theoretical Computer Science, Acta Informatica and Science of Computer Programming.