Concepedia

Konstantinos Handjopoulos

KH

1

Publications

27

Citations

1

H-Index

2013

Active since

Affiliations

University of Victoria(Current)

Konstantinos Handjopoulos is an author at University of Victoria specializing in formal verification, formal methods, and automated reasoning.

Top concepts

Publications per year

2013–2013

1

Publications

1

Extensional Higher-Order Logic Programming

Angelos Charalambidis, Konstantinos Handjopoulos, Panagiotis Rondogiannis et al. · ACM Transactions on Computational Logic · 2013 · 27 citations · Full text

, , +9

Rows per page

1–1 of 1