1
Descriptional Complexity of Formal Systems [E-Book] : 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings /

Full text 
Favorites
Saved in:
2
Logic, Language, Information, and Computation [E-Book] : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings /
Table of Contents: “...Proof theory, -- Model theory -- Modal and temporal logics -- Automated reasoning.-Constraint and logic programming -- Constructive mathematics -- Equational logic and rewriting -- Finite Model Theory -- Descriptive complexity, -- Higher order logic...”

Full text 
Favorites
Saved in:
3
Descriptional Complexity of Formal Systems [E-Book] : 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, Proceedings /
Table of Contents: “... Prefix Chains -- Nearly k-Universal Words - Investigating a Part of Simon's Congruence -- State Complexity of Binary Coded Regular Languages -- Reset Complexity and Completely Reachable Automata with Simple Idempotents -- On the Descriptional Complexity...”

Full text 
Favorites
Saved in:
4
Handbook of Computability and Complexity in Analysis [E-Book] /
Table of Contents: “... Geometric Complex Analysis and Complex Dynamics -- A Survey on Analog Models of Computation -- Computable Measure Theory and Algorithmic Randomness -- Algorithmic Fractal Dimensions in Geometric Measure Theory -- Part III Constructivity, Logic, and Descriptive...”

Full text 
Favorites
Saved in:
5
Advancing Research in Information and Communication Technology [E-Book] : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups /
Table of Contents: “...TC 1: Foundations of Computer Science -- Hot Current Topics of Descriptional Complexity -- A Survey of Compositional Signal Flow Theory -- TC 2: Software: Theory and Practice -- Algorithmics -- Advances in Data Management in the Big Data Era -- TC 3...”

Full text 
Favorites
Saved in:
6
Descriptional Complexity of Formal Systems [E-Book] : 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings /
Table of Contents: “... Permutation Groups -- Commutative Regular Languages with Product-Form Minimal Automata -- State Complexity Bounds for Upward and Downward Closures on Commutative Languages and Commutative Group and Commutative Aperiodic Languages -- More on the Descriptional...”

Full text 
Favorites
Saved in:
7
Language and Automata Theory and Applications [E-Book] : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings /

Full text 
Favorites
Saved in:
8
Language and Automata Theory and Applications [E-Book] : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /

Full text 
Favorites
Saved in:
9
Implementation and Application of Automata [E-Book] : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings /

Full text 
Favorites
Saved in:
10
Descriptional Complexity of Formal Systems [E-Book] : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
Table of Contents: “... by grammars -- On the Complexity and Decidability of Some Problems Involving Shue -- On the Computational Complexity of Problems Related to Distinguishability Sets -- Prefix-Free Subsets of Regular Languages and Descriptional Complexity -- Transducer Descriptions...”

Full text 
Favorites
Saved in:
11
Computing with New Resources [E-Book] : Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday /

Full text 
Favorites
Saved in:
12
Language and Automata Theory and Applications [E-Book] : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings /

Full text 
Favorites
Saved in:
13
Descriptional Complexity of Formal Systems [E-Book] : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings /

Full text 
Favorites
Saved in:
14
Mathematical Foundations of Computer Science 2014 [E-Book] : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I /
Table of Contents: “... -- Tractability Frontier for Dually-Closed Ord-Horn Quantified Constraint Satisfaction Problems -- The Dynamic Descriptive Complexity of k-Clique....”

Full text 
Favorites
Saved in:
15
Descriptional Complexity of Formal Systems [E-Book] : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /

Full text 
Favorites
Saved in:
16
Language and Automata Theory and Applications [E-Book] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings /

Full text 
Favorites
Saved in:
17
Descriptional Complexity of Formal Systems [E-Book] : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings /

Full text 
Favorites
Saved in:
18
Descriptional Complexity of Formal Systems [E-Book] : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings /

Full text  Full text 
Favorites
Saved in:

Narrow Search Results