Search alternatives:
descriptive complexity » descriptional complexity
Cover Image
Read Now

1
by Immerman, Neil
Published 1999
Springer New York
Table of Contents: “... of Descriptive Complexity -- 15.6 Software Crisis and Opportunity -- References...”
Cover Image
Read Now

2
by Grohe, M.
Published 2017
Cambridge University Press
“...Descriptive complexity theory establishes a connection between the computational complexity...”
Cover Image
Read Now

3
Published 2016
Springer International Publishing
Table of Contents: “...-Verifying Finite Automata and Descriptional Complexity -- On the State Complexity of Partial Derivative...”
Cover Image
Read Now

4
Published 2015
Springer International Publishing
Table of Contents: “... and Descriptional Complexity -- Transducer Descriptions of DNA Code Properties and Undecidability of Antimorphic...”
Cover Image
Read Now

5
Published 2017
Springer International Publishing
Table of Contents: “...Sensing as a Complexity Measure -- Avoiding Overlaps in Pictures -- Descriptional Complexity...”
Cover Image
Read Now

6
Published 2020
Springer International Publishing
Table of Contents: “... in two-way finite automata -- Iterated Uniform Finite-State Transducers: Descriptional Complexity...”
Cover Image
Read Now

7
Published 2019
Springer International Publishing
Table of Contents: “..., and Complementation on Star-Free Languages -- Descriptional Complexity of Matrix Simple Semi-Conditional Grammars...”
Cover Image
Read Now

8
Published 2022
Springer International Publishing
Table of Contents: “... Complexity and Completely Reachable Automata with Simple Idempotents -- On the Descriptional Complexity...”
Cover Image
Read Now

9
Published 2021
Springer International Publishing
Table of Contents: “... Languages and Commutative Group and Commutative Aperiodic Languages -- More on the Descriptional Complexity...”
Cover Image
Read Now

10
Published 2023
Springer Nature Switzerland
“... reviewed and selected from 16 submissions. The conference focus on all aspects of descriptional complexity...”
Cover Image
Read Now

11
Published 2014
Springer International Publishing
“... on Descriptional Complexity of Formal Systems, DCFS 2014, held in Turku, Finland, in August 2014. The 27 full...”
Cover Image
Read Now

12
Published 2011
Springer Berlin Heidelberg
“...This book constitutes the refereed proceedings of the 13th International Workshop of Descriptional...”
Cover Image
Read Now

13
Published 2012
Springer Berlin Heidelberg
“...This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional...”
Cover Image
Read Now

14
Published 2013
Springer Berlin Heidelberg
“...; descriptional complexity in resource-bounded or structure-bounded environments; structural complexity as related...”
Cover Image
Read Now

15
Published 2018
Springer International Publishing
“... conference concerning the descriptional complexity of formal systems and structures and its applications...”
Cover Image
Read Now

16
by Zeume, Thomas
Published 2017
Springer Berlin Heidelberg
“... descriptive complexity classes and provides new methods for proving lower bounds in this dynamic context. One...”
Cover Image
Read Now

17
by Ebbinghaus, Heinz-Dieter, Flum, Jörg
Published 1995
Springer Berlin Heidelberg
Table of Contents: “.... Descriptive Complexity Theory -- 7. Logics with Fixed-Point Operators -- 8. Logic Programs -- 9. Optimization...”
Cover Image
Read Now

18
by Grädel, Erich, Kolaitis, Phokion G., Libkin, Leonid, Marx, Maarten
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Finite Model Theory and Descriptive Complexity -- Logic and Random Structures -- Embedded Finite Models...”
Cover Image
Read Now

19
by Lassaigne, Richard, Rougemont, Michel de
Published 2004
Springer London
Table of Contents: “... and decidability -- 7. Incompleteness of Peano arithmetic -- 2. Descriptive Complexity -- 8 Complexity: time...”
Cover Image
Read Now

20
Published 2021
Springer International Publishing
Table of Contents: “... -- Algorithmic Fractal Dimensions in Geometric Measure Theory -- Part III Constructivity, Logic, and Descriptive...”