Computability, Complexity, and Languages
Latest Publications

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Elsevier

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

Denotational Semantics of Recursion Equations

1994 ◽  
pp. 505-556
Author(s):  
Martin D. Davis ◽  
Ron Sigal ◽  
Elaine J. Weyuker
Keyword(s):  
Denotational Semantics

Propositional Calculus

1994 ◽  
pp. 347-373
Author(s):  
Martin D. Davis ◽  
Ron Sigal ◽  
Elaine J. Weyuker
Keyword(s):  
Propositional Calculus

Regular Languages

1994 ◽  
pp. 237-267
Author(s):  
Martin D. Davis ◽  
Ron Sigal ◽  
Elaine J. Weyuker
Keyword(s):  
Regular Languages

Processes and Grammars

1994 ◽  
pp. 169-195
Author(s):  
Martin D. Davis ◽  
Ron Sigal ◽  
Elaine J. Weyuker

Context-Sensitive Languages

1994 ◽  
pp. 327-344
Author(s):  
Martin D. Davis ◽  
Ron Sigal ◽  
Elaine J. Weyuker
Keyword(s):  
Context Sensitive

Classifying Unsolvable Problems

1994 ◽  
pp. 197-234
Author(s):  
Martin D. Davis ◽  
Ron Sigal ◽  
Elaine J. Weyuker
Keyword(s):  
Unsolvable Problems

Programs and Computable Functions

1994 ◽  
pp. 17-37 ◽  
Author(s):  
Martin D. Davis ◽  
Ron Sigal ◽  
Elaine J. Weyuker
Keyword(s):  
Computable Functions

Preliminaries

1994 ◽  
pp. 1-13
Author(s):  
Martin D. Davis ◽  
Ron Sigal ◽  
Elaine J. Weyuker
Load More ...
Sign in / Sign up

Export Citation Format

Share Document