Algebraic Informatics - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer International Publishing

9783319230207, 9783319230214

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23021-4_9 ◽

2015 ◽

pp. 90-102 ◽

Author(s):

Manfred Droste ◽

Doreen Heusel ◽

Heiko Vogler

Keyword(s):

Tree Automata ◽

Weighted Logics

Download Full-text

Complexity of Uniform Membership of Context-Free Tree Grammars

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23021-4_16 ◽

2015 ◽

pp. 176-188 ◽

Author(s):

Johannes Osterholzer

Keyword(s):

Free Tree ◽

Download Full-text

Effective Invariant Theory of Permutation Groups Using Representation Theory

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23021-4_6 ◽

2015 ◽

pp. 58-69 ◽

Author(s):

Nicolas Borie

Keyword(s):

Representation Theory ◽

Invariant Theory ◽

Permutation Groups

Download Full-text

Why We Need Semirings in Automata Theory (Extended Abstract)

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23021-4_4 ◽

2015 ◽

pp. 43-44

Author(s):

Werner Kuich

Keyword(s):

Automata Theory

Download Full-text

Unbordered Pictures: Properties and Construction

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23021-4_5 ◽

2015 ◽

pp. 45-57 ◽

Author(s):

Marcella Anselmo ◽

Dora Giammarresi ◽

Maria Madonia

Download Full-text

Equivalence Checking Problem for Finite State Transducers over Semigroups

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23021-4_19 ◽

2015 ◽

pp. 208-221 ◽

Author(s):

Vladimir A. Zakharov

Keyword(s):

Equivalence Checking ◽

Finite State Transducers ◽

Download Full-text

Weighted Restarting Automata and Pushdown Relations

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23021-4_18 ◽

2015 ◽

pp. 196-207 ◽

Author(s):

Qichao Wang ◽

Norbert Hundeshagen ◽

Friedrich Otto

Download Full-text

Key-Policy Multi-authority Attribute-Based Encryption

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23021-4_14 ◽

2015 ◽

pp. 152-164 ◽

Author(s):

Riccardo Longo ◽

Chiara Marcolla ◽

Massimiliano Sala

Keyword(s):

Attribute Based Encryption ◽

Download Full-text

More Than 1700 Years of Word Equations

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23021-4_2 ◽

2015 ◽

pp. 22-28 ◽

Author(s):

Volker Diekert

Keyword(s):

Download Full-text

On Differential Uniformity of Maps that May Hide an Algebraic Trapdoor

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23021-4_7 ◽

2015 ◽

pp. 70-78 ◽

Author(s):

Marco Calderini ◽

Massimiliano Sala

Keyword(s):

Differential Uniformity

Download Full-text