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.
Development in Language Theory [[electronic resource] ] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / / edited by Giancarlo Mauri, Alberto Leporati
| Development in Language Theory [[electronic resource] ] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / / edited by Giancarlo Mauri, Alberto Leporati |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XIV, 482 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer science Machine theory Computer science—Mathematics Discrete mathematics Artificial intelligence Theory of Computation Formal Languages and Automata Theory Discrete Mathematics in Computer Science Computer Science Logic and Foundations of Programming Artificial Intelligence |
| ISBN | 3-642-22321-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465472903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Language and Automata Theory and Applications [[electronic resource] ] : 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings / / edited by Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron
| Language and Automata Theory and Applications [[electronic resource] ] : 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings / / edited by Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (345 pages) : illustrations |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Computer systems Natural language processing (Computer science) Artificial intelligence Database management Theory of Computation Discrete Mathematics in Computer Science Computer System Implementation Natural Language Processing (NLP) Artificial Intelligence Database Management |
| ISBN | 3-030-68195-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Algebraic structures -- Automata -- Complexity -- Learning -- Logics and languages -- Trees and graphs -- Words and strings. |
| Record Nr. | UNISA-996464398703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Language and Automata Theory and Applications : 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings / / edited by Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron
| Language and Automata Theory and Applications : 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings / / edited by Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (345 pages) : illustrations |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Computer systems Natural language processing (Computer science) Artificial intelligence Database management Theory of Computation Discrete Mathematics in Computer Science Computer System Implementation Natural Language Processing (NLP) Artificial Intelligence Database Management |
| ISBN | 3-030-68195-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Algebraic structures -- Automata -- Complexity -- Learning -- Logics and languages -- Trees and graphs -- Words and strings. |
| Record Nr. | UNINA-9910483241003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Language and Automata Theory and Applications [[electronic resource] ] : 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings / / edited by Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron
| Language and Automata Theory and Applications [[electronic resource] ] : 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings / / edited by Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XI, 449 p. 409 illus., 6 illus. in color.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Artificial intelligence Database management Computer systems Algorithms Artificial intelligence—Data processing Computer Science Logic and Foundations of Programming Artificial Intelligence Database Management Computer System Implementation Data Science |
| ISBN | 3-030-40608-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited papers -- The New Complexity Landscape around Circuit Minimization -- Containment and Equivalence of Weighted Automata: Probabilistic and Max-Plus Cases -- Approaching Arithmetic Theories with Finite-State Automata -- Recompression: technique for word equations and compressed data -- How to prove that a language is regular or star-free -- Deciding classes of regular languages: the covering approach -- Algebraic Structures -- Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles Over the Circle -- Deciding (R,+, < ,1) in (R,+, < ,Z) -- Ordered Semiautomatic Rings with Applications to Geometry -- Automata -- Boolean monadic recursive schemes as a logical characterization of the subsequential functions -- Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models -- Windable Heads & Recognizing NL with Constant Randomness -- Alternating Finite Automata with Limited Universal Branching -- Pebble-Intervals Automata and FO2 with Two Orders -- Limited Two-Way Deterministic Finite Automata with Advice -- Complexity -- On the size of depth-two threshold circuits for the inner product mod 2 function -- Complexity Issues of String to Graph Approximate Matching -- Complexity of Automatic Sequences -- Grammars -- Context-sensitive Fusion Grammars are Universal -- Cyclic shift on multi-component grammars -- Languages -- The Automatic Baire Property and an Effective Property of omega-Rational Functions -- The Power of Programs over Monoids in J -- Geometrically Closed Positive Varieties of Star-Free Languages -- Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas -- Trees and Graphs -- On the Weisfeiler-Leman Dimension of Fractional Packing -- Input Strictly Local Tree Transducers -- Words and Codes -- Lyndon words versus inverse Lyndon words: queries on su xes and bordered words -- On collapsing pre x normal words -- Simplified Parsing Expression Derivatives -- Complete Variable-Length Codes: An Excursion into Word Edit Operations. . |
| Record Nr. | UNISA-996418211303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Language and Automata Theory and Applications : 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings / / edited by Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron
| Language and Automata Theory and Applications : 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings / / edited by Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XI, 449 p. 409 illus., 6 illus. in color.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Artificial intelligence Database management Computer systems Algorithms Artificial intelligence—Data processing Computer Science Logic and Foundations of Programming Artificial Intelligence Database Management Computer System Implementation Data Science |
| ISBN | 3-030-40608-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited papers -- The New Complexity Landscape around Circuit Minimization -- Containment and Equivalence of Weighted Automata: Probabilistic and Max-Plus Cases -- Approaching Arithmetic Theories with Finite-State Automata -- Recompression: technique for word equations and compressed data -- How to prove that a language is regular or star-free -- Deciding classes of regular languages: the covering approach -- Algebraic Structures -- Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles Over the Circle -- Deciding (R,+, < ,1) in (R,+, < ,Z) -- Ordered Semiautomatic Rings with Applications to Geometry -- Automata -- Boolean monadic recursive schemes as a logical characterization of the subsequential functions -- Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models -- Windable Heads & Recognizing NL with Constant Randomness -- Alternating Finite Automata with Limited Universal Branching -- Pebble-Intervals Automata and FO2 with Two Orders -- Limited Two-Way Deterministic Finite Automata with Advice -- Complexity -- On the size of depth-two threshold circuits for the inner product mod 2 function -- Complexity Issues of String to Graph Approximate Matching -- Complexity of Automatic Sequences -- Grammars -- Context-sensitive Fusion Grammars are Universal -- Cyclic shift on multi-component grammars -- Languages -- The Automatic Baire Property and an Effective Property of omega-Rational Functions -- The Power of Programs over Monoids in J -- Geometrically Closed Positive Varieties of Star-Free Languages -- Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas -- Trees and Graphs -- On the Weisfeiler-Leman Dimension of Fractional Packing -- Input Strictly Local Tree Transducers -- Words and Codes -- Lyndon words versus inverse Lyndon words: queries on su xes and bordered words -- On collapsing pre x normal words -- Simplified Parsing Expression Derivatives -- Complete Variable-Length Codes: An Excursion into Word Edit Operations. . |
| Record Nr. | UNINA-9910380759203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Membrane Computing [[electronic resource] ] : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers / / edited by Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron
| Membrane Computing [[electronic resource] ] : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers / / edited by Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 363 p. 52 illus.) |
| Disciplina | 006.32 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Software engineering Pattern recognition systems Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Automated Pattern Recognition |
| ISBN | 3-319-54072-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466083403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers / / edited by Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron
| Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers / / edited by Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 363 p. 52 illus.) |
| Disciplina | 006.32 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Software engineering Pattern recognition systems Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Automated Pattern Recognition |
| ISBN | 3-319-54072-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484817703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||