Results 221 to 230 of about 169,507 (269)

Mathematical Theory of Domains

1994
Domain theory is an established part of theoretical computer science, used in giving semantics to programming languages and logics. In mathematics and logic it has also proved to be useful in the study of algorithms. This book is devoted to providing a unified and self-contained treatment of the subject.
Viggo Stoltenberg-Hansen   +2 more
openaire   +1 more source

Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics

Oberwolfach Reports, 2005
The workshop Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics , was held March 20th–March 26th, 2005 and had several aims. To promote interaction between traditional proof theory and a more
Samuel R. Buss   +2 more
openaire   +2 more sources

On the Mathematical Theory of Schedules

Management Science, 1964
The elapsed time to complete a scheduled task is expressed as a function of the completion times of the component tasks and the path matrix of the scheddule graph. The schedule function is interpreted geometrically as a polyhedron. If the scheduled activities have random completion times, the probability distribution of the time to complete the entire
openaire   +2 more sources

Home - About - Disclaimer - Privacy