Descriptive Complexity
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer New York

9781461268093, 9781461205395

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parallelism

Descriptive Complexity ◽

10.1007/978-1-4612-0539-5_6 ◽

1999 ◽

pp. 67-89 ◽

Cited By ~ 1

Author(s):

Neil Immerman

Download Full-text

Inductive Definitions

Descriptive Complexity ◽

10.1007/978-1-4612-0539-5_5 ◽

1999 ◽

pp. 57-66

Author(s):

Neil Immerman

Keyword(s):

Inductive Definitions

Download Full-text

Complementation and Transitive Closure

Descriptive Complexity ◽

10.1007/978-1-4612-0539-5_10 ◽

1999 ◽

pp. 139-155

Author(s):

Neil Immerman

Keyword(s):

Transitive Closure

Download Full-text

Second-Order Logic and Fagin’s Theorem

Descriptive Complexity ◽

10.1007/978-1-4612-0539-5_8 ◽

1999 ◽

pp. 113-124 ◽

Cited By ~ 1

Author(s):

Neil Immerman

Keyword(s):

Second Order ◽

Order Logic ◽

Second Order Logic

Download Full-text

Background in Logic

Descriptive Complexity ◽

10.1007/978-1-4612-0539-5_2 ◽

1999 ◽

pp. 5-22

Author(s):

Neil Immerman

Download Full-text

Conclusions and Future Directions

Descriptive Complexity ◽

10.1007/978-1-4612-0539-5_16 ◽

1999 ◽

pp. 241-250

Author(s):

Neil Immerman

Keyword(s):

Future Directions

Download Full-text

The Role of Ordering

Descriptive Complexity ◽

10.1007/978-1-4612-0539-5_13 ◽

1999 ◽

pp. 181-202

Author(s):

Neil Immerman

Download Full-text

Polynomial Space

Descriptive Complexity ◽

10.1007/978-1-4612-0539-5_11 ◽

1999 ◽

pp. 157-168

Author(s):

Neil Immerman

Keyword(s):

Polynomial Space

Download Full-text

Introduction

Descriptive Complexity ◽

10.1007/978-1-4612-0539-5_1 ◽

1999 ◽

pp. 1-3 ◽

Cited By ~ 1

Author(s):

Neil Immerman

Download Full-text

Second-Order Lower Bounds

Descriptive Complexity ◽

10.1007/978-1-4612-0539-5_9 ◽

1999 ◽

pp. 125-137

Author(s):

Neil Immerman

Keyword(s):

Lower Bounds ◽

Second Order

Download Full-text