Developments in Language Theory (eBook, PDF)
8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
Redaktion: Calude, Cristian S.; Dinneen, Michael J.; Calude, Elena
Schade – dieser Artikel ist leider ausverkauft. Sobald wir wissen, ob und wann der Artikel wieder verfügbar ist, informieren wir Sie an dieser Stelle.
Developments in Language Theory (eBook, PDF)
8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
Redaktion: Calude, Cristian S.; Dinneen, Michael J.; Calude, Elena
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei
bücher.de, um das eBook-Abo tolino select nutzen zu können.
Hier können Sie sich einloggen
Hier können Sie sich einloggen
Sie sind bereits eingeloggt. Klicken Sie auf 2. tolino select Abo, um fortzufahren.
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 3.92MB
Produktdetails
- Verlag: Springer-Verlag GmbH
- Seitenzahl: 436
- Erscheinungstermin: 29. November 2004
- Englisch
- ISBN-13: 9783540305507
- Artikelnr.: 43884905
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Cristian S. Calude, University of Auckland, New Zealand / Elena Calude, Massey University Albany, Auckland, New Zealand / Michael J. Dinneen, University of Auckland, New Zealand
Invited Papers.- Recognizable Sets of Graphs, Hypergraphs and Relational Structures: A Survey.- Some New Directions and Questions in Parameterized Complexity.- Basic Notions of Reaction Systems.- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms.- Algebraic and Topological Models for DNA Recombinant Processes.- Contributed Papers.- Regular Expressions for Two-Dimensional Languages Over One-Letter Alphabet.- On Competence in CD Grammar Systems.- The Dot-Depth and the Polynomial Hierarchy Correspond on the Delta Levels.- Input Reversals and Iterated Pushdown Automata: A New Characterization of Khabbaz Geometric Hierarchy of Languages.- On the Maximum Coefficients of Rational Formal Series in Commuting Variables.- On Codes Defined by Bio-operations.- Avoidable Sets and Well Quasi-Orders.- A Ciliate Bio-operation and Language Families.- Semantic Shuffle on and Deletion Along Trajectories.- Sturmian Graphs and a Conjecture of Moser.- P Systems Working in the Sequential Mode on Arrays and Strings.- Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings.- The Power of Maximal Parallelism in P Systems.- An Efficient Pattern Matching Algorithm on a Subclass of Context Free Grammars.- On the Complexity of 2-Monotone Restarting Automata.- On Left-Monotone Deterministic Restarting Automata.- On the Computation Power of Finite Automata in Two-Dimensional Environments.- The Role of the Complementarity Relation in Watson-Crick Automata and Sticker Systems.- The Boolean Closure of Linear Context-Free Languages.- Context-Sensitive Decision Problems in Groups.- Decidability and Complexity in Automatic Monoids.- Relating Tree Series Transducers and Weighted Tree Automata.- An NP-Complete Fragmentof LTL.- From Post Systems to the Reachability Problems for Matrix Semigroups and Multicounter Automata.- Words Avoiding -Powers and the Thue-Morse Morphism.- On the Equivalence Problem for E-Pattern Languages Over Small Alphabets.- Complementation of Rational Sets on Countable Scattered Linear Orderings.- On the Hausdorff Measure of ?-Power Languages.- A Method for Deciding the Finiteness of Deterministic Tabled Picture Languages.- Tissue P Systems with Minimal Symport/Antiport.
Invited Papers.- Recognizable Sets of Graphs, Hypergraphs and Relational Structures: A Survey.- Some New Directions and Questions in Parameterized Complexity.- Basic Notions of Reaction Systems.- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms.- Algebraic and Topological Models for DNA Recombinant Processes.- Contributed Papers.- Regular Expressions for Two-Dimensional Languages Over One-Letter Alphabet.- On Competence in CD Grammar Systems.- The Dot-Depth and the Polynomial Hierarchy Correspond on the Delta Levels.- Input Reversals and Iterated Pushdown Automata: A New Characterization of Khabbaz Geometric Hierarchy of Languages.- On the Maximum Coefficients of Rational Formal Series in Commuting Variables.- On Codes Defined by Bio-operations.- Avoidable Sets and Well Quasi-Orders.- A Ciliate Bio-operation and Language Families.- Semantic Shuffle on and Deletion Along Trajectories.- Sturmian Graphs and a Conjecture of Moser.- P Systems Working in the Sequential Mode on Arrays and Strings.- Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings.- The Power of Maximal Parallelism in P Systems.- An Efficient Pattern Matching Algorithm on a Subclass of Context Free Grammars.- On the Complexity of 2-Monotone Restarting Automata.- On Left-Monotone Deterministic Restarting Automata.- On the Computation Power of Finite Automata in Two-Dimensional Environments.- The Role of the Complementarity Relation in Watson-Crick Automata and Sticker Systems.- The Boolean Closure of Linear Context-Free Languages.- Context-Sensitive Decision Problems in Groups.- Decidability and Complexity in Automatic Monoids.- Relating Tree Series Transducers and Weighted Tree Automata.- An NP-Complete Fragmentof LTL.- From Post Systems to the Reachability Problems for Matrix Semigroups and Multicounter Automata.- Words Avoiding -Powers and the Thue-Morse Morphism.- On the Equivalence Problem for E-Pattern Languages Over Small Alphabets.- Complementation of Rational Sets on Countable Scattered Linear Orderings.- On the Hausdorff Measure of ?-Power Languages.- A Method for Deciding the Finiteness of Deterministic Tabled Picture Languages.- Tissue P Systems with Minimal Symport/Antiport.