Lecture Notes in Computer Science - Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

61
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer-Verlag

3540119736
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Controlled relativizations of P and NP

2006 ◽  
pp. 85-90 ◽  
Author(s):  
Ronald V. Book ◽  
Timothy J. Long ◽  
Alan L. Selman

Algebraic and operational semantics of exceptions and errors

2006 ◽  
pp. 141-151
Author(s):  
M. Gogolla ◽  
K. Drosten ◽  
U. Lipeck ◽  
H. D. Ehrich
Keyword(s):  
Operational Semantics
Load More ...
Sign in / Sign up

Export Citation Format

Share Document