Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Implementation and Application of Au...
~
SpringerLink (Online service)
Implementation and Application of Automata = 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Implementation and Application of Automata/ edited by Sebastian Maneth.
Reminder of title:
25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings /
other author:
Maneth, Sebastian.
Description:
XIII, 191 p. 25 illus., 7 illus. in color.online resource. :
Contained By:
Springer Nature eBook
Subject:
Logic in AI. -
Online resource:
https://doi.org/10.1007/978-3-030-79121-6
ISBN:
9783030791216
Implementation and Application of Automata = 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings /
Implementation and Application of Automata
25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings /[electronic resource] :edited by Sebastian Maneth. - 1st ed. 2021. - XIII, 191 p. 25 illus., 7 illus. in color.online resource. - Theoretical Computer Science and General Issues ;12803. - Theoretical Computer Science and General Issues ;9163.
Polyregular Functions -- Back to the Future: A Fresh Look at Linear Temporal Logic -- Say No to Case Analysis: Automating the Drudgery of Case-Based Proofs 15 Jeffrey Shallit Technical Contributions Regularity Conditions for Iterated Shuffle on Commutative Regular Languages -- Memoized Regular Expressions -- The Commutative Closure of Shuffle Languages over Group Languages is Regular -- Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis -- Degrees of Restriction for Two-Dimensional Automata -- The Range of State Complexities of Languages Resulting from the Cascade Product—The Unary Case (Extended Abstract) -- Guessing the Buffer Bound for k-Synchronizability -- The Commutative Closure of Shuffle Languages over Group Languages is Regular -- Organization IX Algorithms for Probabilistic and Stochastic Subsequential Failure Transducers -- Ambiguity Hierarchies for Weighted Tree Automata -- Boolean Kernels of Context-Free Languages -- Efficient String Matching Based on a Two-Step Simulation of the Suffix Automaton -- Approximate Hashing for Bioinformatics.
This book constitutes the proceedings of the 25th International Conference on Implementation and Application of Automata, CIAA 2021, held in July 2021. Due to Covid-19 pandemic the conference was held virtually. The 13 regular papers presented in this book were carefully reviewed and selected from 20 submissions. The topics of the papers cover various fields in the application, implementation, and theory of automata and related structures.
ISBN: 9783030791216
Standard No.: 10.1007/978-3-030-79121-6doiSubjects--Topical Terms:
1228083
Logic in AI.
LC Class. No.: QA75.5-76.95
Dewey Class. No.: 004.0151
Implementation and Application of Automata = 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings /
LDR
:03082nam a22004335i 4500
001
1055907
003
DE-He213
005
20210826190208.0
007
cr nn 008mamaa
008
220103s2021 sz | s |||| 0|eng d
020
$a
9783030791216
$9
978-3-030-79121-6
024
7
$a
10.1007/978-3-030-79121-6
$2
doi
035
$a
978-3-030-79121-6
050
4
$a
QA75.5-76.95
050
4
$a
QA76.63
072
7
$a
UY
$2
bicssc
072
7
$a
COM014000
$2
bisacsh
072
7
$a
UY
$2
thema
072
7
$a
UYA
$2
thema
082
0 4
$a
004.0151
$2
23
245
1 0
$a
Implementation and Application of Automata
$h
[electronic resource] :
$b
25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings /
$c
edited by Sebastian Maneth.
250
$a
1st ed. 2021.
264
1
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2021.
300
$a
XIII, 191 p. 25 illus., 7 illus. in color.
$b
online resource.
336
$a
text
$b
txt
$2
rdacontent
337
$a
computer
$b
c
$2
rdamedia
338
$a
online resource
$b
cr
$2
rdacarrier
347
$a
text file
$b
PDF
$2
rda
490
1
$a
Theoretical Computer Science and General Issues ;
$v
12803
505
0
$a
Polyregular Functions -- Back to the Future: A Fresh Look at Linear Temporal Logic -- Say No to Case Analysis: Automating the Drudgery of Case-Based Proofs 15 Jeffrey Shallit Technical Contributions Regularity Conditions for Iterated Shuffle on Commutative Regular Languages -- Memoized Regular Expressions -- The Commutative Closure of Shuffle Languages over Group Languages is Regular -- Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis -- Degrees of Restriction for Two-Dimensional Automata -- The Range of State Complexities of Languages Resulting from the Cascade Product—The Unary Case (Extended Abstract) -- Guessing the Buffer Bound for k-Synchronizability -- The Commutative Closure of Shuffle Languages over Group Languages is Regular -- Organization IX Algorithms for Probabilistic and Stochastic Subsequential Failure Transducers -- Ambiguity Hierarchies for Weighted Tree Automata -- Boolean Kernels of Context-Free Languages -- Efficient String Matching Based on a Two-Step Simulation of the Suffix Automaton -- Approximate Hashing for Bioinformatics.
520
$a
This book constitutes the proceedings of the 25th International Conference on Implementation and Application of Automata, CIAA 2021, held in July 2021. Due to Covid-19 pandemic the conference was held virtually. The 13 regular papers presented in this book were carefully reviewed and selected from 20 submissions. The topics of the papers cover various fields in the application, implementation, and theory of automata and related structures.
650
2 4
$a
Logic in AI.
$3
1228083
650
2 4
$a
Information Systems and Communication Service.
$3
669203
650
1 4
$a
Theory of Computation.
$3
669322
650
0
$a
Computer logic.
$3
786340
650
0
$a
Artificial intelligence.
$3
559380
650
0
$a
Computers.
$3
565115
700
1
$a
Maneth, Sebastian.
$e
editor.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1255303
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783030791209
776
0 8
$i
Printed edition:
$z
9783030791223
830
0
$a
Theoretical Computer Science and General Issues ;
$v
9163
$3
1253524
856
4 0
$u
https://doi.org/10.1007/978-3-030-79121-6
912
$a
ZDB-2-SCS
912
$a
ZDB-2-SXCS
912
$a
ZDB-2-LNC
950
$a
Computer Science (SpringerNature-11645)
950
$a
Computer Science (R0) (SpringerNature-43710)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login