Statistics
Publications
5
Citations
87
H-Index
5
Active since
2007
Affiliations
Peter Verdée is an author at Ghent University specializing in automated reasoning, engineering, and computer science.
Publications per year
2007–2013
5
5
Yes fellows, most human reasoning is complex
Diderik Batens, Kristof De Clercq, Peter Verdée et al. · Synthese · 2007 · 19 citations
A proof procedure for adaptive logics
Peter Verdée · Logic Journal of IGPL · 2012 · 12 citations
1–5 of 5