|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
on1142315671 |
| 003 |
OCoLC |
| 005 |
20240623213015.0 |
| 006 |
m o d |
| 007 |
cr nn||||mamaa |
| 008 |
200227s2020 sz a ob 101 0 eng d |
| 040 |
|
|
|a LQU
|b eng
|e pn
|c LQU
|d GW5XE
|d AU@
|d SFB
|d EBLCP
|d OCLCF
|d NLW
|d OCLCO
|d OCLCQ
|d OCLCO
|d COM
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCL
|
| 019 |
|
|
|a 1145410547
|a 1152547876
|a 1153154920
|a 1153945078
|a 1154490204
|
| 020 |
|
|
|a 9783030406080
|
| 020 |
|
|
|a 3030406083
|
| 024 |
7 |
|
|a 10.1007/978-3-030-40
|2 doi
|
| 035 |
|
|
|a (OCoLC)1142315671
|z (OCoLC)1145410547
|z (OCoLC)1152547876
|z (OCoLC)1153154920
|z (OCoLC)1153945078
|z (OCoLC)1154490204
|
| 050 |
|
4 |
|a QA267
|
| 049 |
|
|
|a HCDD
|
| 111 |
2 |
|
|a LATA (Conference)
|n (14th :
|d 2020 :
|c Milan, Italy)
|
| 245 |
1 |
0 |
|a Language and automata theory and applications
|h [electronic resource] :
|b 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, proceedings /
|c Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron (eds.).
|
| 264 |
|
1 |
|a Cham, Switzerland :
|b Springer,
|c [2020]
|
| 300 |
|
|
|a 1 online resource (xi, 449 pages) :
|b 409 illustrations (some color)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Lecture notes in computer science,
|x 1611-3349 ;
|v 12038
|
| 490 |
1 |
|
|a Theoretical computer science and general issues
|
| 505 |
0 |
|
|a 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 -- Complet e Variable-Length Codes: An Excursion into Word Edit Operations.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 520 |
|
|
|a This book constitutes the proceedings of the 14th International Conference on Language and Automata Theory and Applications, LATA 2020, held in Milan, Italy, in March 2020. The 26 full papers presented in this volume were carefully reviewed and selected from 59 submissions. They were organized in topical sections named: algebraic structures; automata; complexity; grammars; languages; trees and graphs; and words and codes. The book also contains 6 invited papers in full-paper length.
|
| 588 |
0 |
|
|a Online resource; title from PDF title page (SpringerLink, viewed March 26, 2020).
|
| 650 |
|
0 |
|a Machine theory
|v Congresses.
|
| 650 |
|
0 |
|a Formal languages
|v Congresses.
|
| 650 |
|
0 |
|a Mathematical linguistics
|v Congresses.
|
| 650 |
|
7 |
|a Artificial intelligence.
|2 bicssc
|
| 650 |
|
7 |
|a Databases.
|2 bicssc
|
| 650 |
|
7 |
|a Systems analysis & design.
|2 bicssc
|
| 650 |
|
7 |
|a Algorithms & data structures.
|2 bicssc
|
| 650 |
|
7 |
|a Computer programming
|x software development.
|2 bicssc
|
| 650 |
|
7 |
|a Computers
|x Intelligence (AI) & Semantics.
|2 bisacsh
|
| 650 |
|
7 |
|a Computers
|x Database Management
|x General.
|2 bisacsh
|
| 650 |
|
7 |
|a Computers
|x Information Technology.
|2 bisacsh
|
| 650 |
|
7 |
|a Computers
|x Programming
|x Algorithms.
|2 bisacsh
|
| 650 |
|
7 |
|a Computers
|x Data Modeling & Design.
|2 bisacsh
|
| 650 |
|
7 |
|a Computers
|x Programming
|x General.
|2 bisacsh
|
| 650 |
|
7 |
|a Formal languages
|2 fast
|
| 650 |
|
7 |
|a Machine theory
|2 fast
|
| 650 |
|
7 |
|a Mathematical linguistics
|2 fast
|
| 655 |
|
7 |
|a proceedings (reports)
|2 aat
|
| 655 |
|
7 |
|a Conference papers and proceedings
|2 fast
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 lcgft
|
| 655 |
|
7 |
|a Actes de congrès.
|2 rvmgf
|
| 700 |
1 |
|
|a Leporati, Alberto.
|
| 700 |
1 |
|
|a Martín Vide, Carlos.
|
| 700 |
1 |
|
|a Shapira, Dana.
|
| 700 |
1 |
|
|a Zandron, Claudio.
|
| 758 |
|
|
|i has work:
|a Language and automata theory and applications (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCFxFcmBqbVqdtQyHR8XFjC
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 12038.
|
| 830 |
|
0 |
|a LNCS sublibrary.
|n SL 1,
|p Theoretical computer science and general issues.
|
| 856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://link.springer.com/10.1007/978-3-030-40608-0
|y Click for online access
|
| 903 |
|
|
|a SPRING-COMP2020
|
| 994 |
|
|
|a 92
|b HCD
|