ETAPS 2019 (series) / Bruce Kapron

Registered user since Mon 25 Feb 2019
Name:Bruce Kapron
Country:Canada
Affiliation:University of Victoria
Personal website:http://www.cs.uvic.ca/~bmkapron
Research interests:Logic, complexity, cryptography, computability and complexity in higher types
Contributions
DICE-FOPARA 2019 | Type-two Iteration with Bounded Query Revision Tiered complexity at higher order | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ETAPS 2019-profile
View general profile
View general profile