Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Algebraic Foundations in Computer Science [[electronic resource] ] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / / edited by Werner Kuich, George Rahonis
| Algebraic Foundations in Computer Science [[electronic resource] ] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / / edited by Werner Kuich, George Rahonis |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 363 p.) |
| Disciplina | 004.01512 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Artificial intelligence Compilers (Computer programs) Computer science—Mathematics Software engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Artificial Intelligence Compilers and Interpreters Symbolic and Algebraic Manipulation Software Engineering |
| ISBN | 3-642-24897-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Selected Decision Problems for Square-Refinement Collage Grammars -- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics -- Partial Conway and Iteration Semiring-Semimodule Pairs -- Kleene Theorem in Partial Conway Theories with Applications -- Rational Transformations and a Kleene Theorem for Power Series over Rational Monoids -- Equational Weighted Tree Transformations with Discounting -- Quantum Automata Theory – A Review -- Graph Automata: The Algebraic Properties of Abelian Relational Graphoids -- A Survey on Picture-Walking Automata -- Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups -- Algebraic Systems and Pushdown Automata -- Where Automatic Structures Benefit from Weighted Automata -- Survey: Weighted Extended Top-Down Tree Transducers Part III — Composition -- Valuations of Weighted Automata: Doing It in a Rational Way -- Selected Combinatorial Properties of Random Intersection Graphs. Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics -- Partial Conway and Iteration Semiring-Semimodule Pairs -- Kleene Theorem in Partial Conway Theories with Applications -- Rational Transformations and a Kleene Theorem for Power Series over Rational Monoids -- Equational Weighted Tree Transformations with Discounting -- Quantum Automata Theory – A Review -- Graph Automata: The Algebraic Properties of Abelian Relational Graphoids -- A Survey on Picture-Walking Automata -- Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups -- Algebraic Systems and Pushdown Automata -- Where Automatic Structures Benefit from Weighted Automata -- Survey: Weighted Extended Top-Down Tree Transducers Part III — Composition -- Valuations of Weighted Automata: Doing It in a Rational Way -- Selected Combinatorial Properties of Random Intersection Graphs. |
| Record Nr. | UNISA-996465957003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Universal algebra for computer scientists / Wolfgang Wechler
| Universal algebra for computer scientists / Wolfgang Wechler |
| Autore | Wechler, Wolfgang |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1992 |
| Descrizione fisica | XII, 339 p. ; 25 cm. |
| Disciplina |
004.01
004.01512 |
| Collana | EATCS monographs on theoretical computer science |
| ISBN |
0387542809
3540542809 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-MIL0160068 |
Wechler, Wolfgang
|
||
| Berlin [etc.], : Springer, c1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||