Mathematical Foundations of Computer Science 1979 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

57
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540095262, 9783540350880
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A turing machine oracle hierarchy

1979 ◽  
pp. 542-551
Author(s):  
Stanislav Žák
Keyword(s):  
Turing Machine

New proofs for jump dpda's

1979 ◽  
pp. 354-362 ◽  
Author(s):  
Matti Linna ◽  
Martti Penttonen

Assertion programming

1979 ◽  
pp. 26-42 ◽  
Author(s):  
Andrzej J. Blikle

Small universal Minsky machines

1979 ◽  
pp. 308-316 ◽  
Author(s):  
Ľudmila Gregušová ◽  
Ivan Korec

Computable data types

1979 ◽  
pp. 228-236 ◽  
Author(s):  
G. Comyn ◽  
G. Werner
Keyword(s):  
Data Types
Load More ...
Sign in / Sign up

Export Citation Format

Share Document