Search for persons
X
?
Revolutions and Revelations in Computability; Lecture Notes in Computer Science ,
4
Algebras of Complemented Subsets:
, In:
?
Logical Foundations of Computer Science; Lecture Notes in Computer Science ,
5
Computability Models over Categories and Presheaves:
, In:
?
Lecture Notes in Computer Science; Beyond the Horizon of Computability ,
7
Functions of Baire Class One over a Bishop Topology:
, In:
?
Computing with Foresight and Industry; Lecture Notes in Computer Science ,
8
Borel and Baire Sets in Bishop Spaces:
, In:
?
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science ,
10