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