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 |
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 |
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 | ||
|
Language and Automata Theory and Applications [[electronic resource] ] : 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings / / edited by Carlos Martín-Vide, Alexander Okhotin, Dana Shapira |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XVII, 470 p. 684 illus., 17 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Machine theory Logic programming Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Logic in AI Discrete Mathematics in Computer Science |
ISBN | 3-030-13435-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Automata -- Complexity -- Grammars -- Languages -- Graphs, trees and rewriting -- Words and codes. |
Record Nr. | UNISA-996466429103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Language and Automata Theory and Applications : 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings / / edited by Carlos Martín-Vide, Alexander Okhotin, Dana Shapira |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XVII, 470 p. 684 illus., 17 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Machine theory Logic programming Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Logic in AI Discrete Mathematics in Computer Science |
ISBN | 3-030-13435-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Automata -- Complexity -- Grammars -- Languages -- Graphs, trees and rewriting -- Words and codes. |
Record Nr. | UNINA-9910337571603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Lectures on Logic and Computation [[electronic resource] ] : ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / / edited by Nick Bezhanishvili, Valentin Goranko |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (VIII, 265 p. 41 illus.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Machine theory Mathematical logic Computer science—Mathematics Discrete mathematics Artificial intelligence Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Mathematical Logic and Foundations Discrete Mathematics in Computer Science Artificial Intelligence |
ISBN | 3-642-31485-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465528803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
LICS '17 : Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science / / Luca Aceto, Anna Ingólfsdóttir |
Autore | Aceto Luca |
Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2017 |
Descrizione fisica | 1 online resource (1068 pages) |
Disciplina | 005.1015113 |
Soggetto topico |
Computer logic
Computer programming |
ISBN | 1-5090-3018-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science |
Record Nr. | UNISA-996278329403316 |
Aceto Luca | ||
Piscataway, New Jersey : , : IEEE, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
LICS '17 : Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science / / Luca Aceto, Anna Ingólfsdóttir |
Autore | Aceto Luca |
Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2017 |
Descrizione fisica | 1 online resource (1068 pages) |
Disciplina | 005.1015113 |
Soggetto topico |
Computer logic
Computer programming |
ISBN | 1-5090-3018-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science |
Record Nr. | UNINA-9910213841803321 |
Aceto Luca | ||
Piscataway, New Jersey : , : IEEE, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A List of Successes That Can Change the World [[electronic resource] ] : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday / / edited by Sam Lindley, Conor McBride, Phil Trinder, Don Sannella |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXII, 479 p. 79 illus., 4 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Machine theory Computer programming Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Formal Languages and Automata Theory Programming Techniques |
ISBN | 3-319-30936-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reactions on Monadic Lenses -- Conation Confers Concurrency -- Counting Successes: Effects and Transformations for Non-deterministic Programs -- The Essence of Inheritance -- Subtyping Supports Safe Session Substitution -- Proof Relevant Parametricity -- Comprehending Ringads -- Dragging Proofs out of Pictures -- Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane -- Cutting out Continuations -- The Lambda Calculus: Practice and Principle -- I Got Plenty o' Nuttin' -- Pointlessness Is Better than Listlessness -- The Essence of Dependent Object Types -- Linear lambda-mu Is CP (more or less) -- A Reaction on types -- The Essence of Multi-Stage Evaluation in LMS -- 1ML with Special Effects -- The Computer Scientist Nightmare -- A Branding Strategy for Business Types -- The Recursive Union of Some Gradual Types -- A Delta for Hybrid Type Checking -- Certifying Data in Multiparty Session Types -- Recursion Equations as a Programming Language. . |
Record Nr. | UNISA-996466002903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday / / edited by Sam Lindley, Conor McBride, Phil Trinder, Don Sannella |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXII, 479 p. 79 illus., 4 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Machine theory Computer programming Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Formal Languages and Automata Theory Programming Techniques |
ISBN | 3-319-30936-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reactions on Monadic Lenses -- Conation Confers Concurrency -- Counting Successes: Effects and Transformations for Non-deterministic Programs -- The Essence of Inheritance -- Subtyping Supports Safe Session Substitution -- Proof Relevant Parametricity -- Comprehending Ringads -- Dragging Proofs out of Pictures -- Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane -- Cutting out Continuations -- The Lambda Calculus: Practice and Principle -- I Got Plenty o' Nuttin' -- Pointlessness Is Better than Listlessness -- The Essence of Dependent Object Types -- Linear lambda-mu Is CP (more or less) -- A Reaction on types -- The Essence of Multi-Stage Evaluation in LMS -- 1ML with Special Effects -- The Computer Scientist Nightmare -- A Branding Strategy for Business Types -- The Recursive Union of Some Gradual Types -- A Delta for Hybrid Type Checking -- Certifying Data in Multiparty Session Types -- Recursion Equations as a Programming Language. . |
Record Nr. | UNINA-9910484264403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|