Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Toggle
Main Menu
Home
Study with us
Research
(current)
News
Events
About Us
Student Space
Partner with us
Home
Research
Publications
Sequential Calculus
Sequential Calculus
Burghard von Karger
Month
May – October
Note
Correspondence about ‘Sequential Calculus' paper (IPL 53(3):123−130‚ 1995‚ doi 10.1016/0020−0190(94)00205−D
Year
1994
Links
BibTeX
Download Vol Karger94b - Sequential Summary.pdf
Download Vol Karger94b - Sequential.pdf
Download Vol Karger94 - Sequential.pdf
See Also
Tony Hoare
Algorithms and Complexity Theory
Artificial Intelligence and Machine Learning
Automated Verification
Computational Biology and Health Informatics
Data, Knowledge and Action
Human Centred Computing
Programming Languages
Quantum
Security
Systems
Back to Top