The Bounded Linear Calculus: A characterization of the class of polynomial-time computable functions based on bounded linear logic. Francois Pitt Master of Science Department of Computer Science Unive...
The Bounded Linear Calculus: A characterization of the class of polynomial-time computable functions based on bounded linear logic. Francois Pitt Master of Science Department of Computer Science Unive...
The Bounded Linear Calculus: A characterization of the class of polynomial-time computable functions based on bounded linear logic. Francois Pitt Master of Science Department of Computer Science Unive...
this paper, we are concerned with the opportunities available to people with visual disabilities. Specifically the paper describes the use of information technology to allow access to mathematical mat...