Showing 1 - 20 results of 38 for search '"automata theory"' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Search Results - Open Polar - "automata theory"

Search Results

Showing 1 - 20 results of 38 for search '"automata theory"', query time: 0.60s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 1
1

Learning Pairwise Disjoint Simple Languages from Positive Examples

by Linard, Alexis, Smetsers, Rick, Vaandrager, Frits, Waqas, Umar, van Pinxten, Joost, Verwer, Sicco
Published 2017
Subjects: “...Computer Science - Formal Languages and Automata Theory...”

Get access

Text
Select result number 2
2

FST Morphology for the Endangered Skolt Sami Language

by Rueter, Jack, Hämäläinen, Mika
Published 2020
Subjects: “...Computer Science - Formal Languages and Automata Theory...”

Get access

Text
Select result number 3
3

Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings

by Bruggink, H. J. Sander, König, Barbara, Nolte, Dennis, Zantema, Hans
Published 2015
Subjects: “...Computer Science - Formal Languages and Automata Theory...”

Get access

Text
Select result number 4
4

Separation for dot-depth two

by Place, Thomas, Zeitoun, Marc
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]...”

Get access
Get access

Conference Object
Select result number 5
5

Learning Pairwise Disjoint Simple Languages from Positive Examples

by Linard, Alexis, Smetsers, Rick, Vaandrager, Frits, Waqas, Umar, van Pinxten, Joost, Verwer, Sicco
Published 2017
Subjects: “...Formal Languages and Automata Theory cs.FL...”

Get access
Get access

Report
Select result number 6
6

FST Morphology for the Endangered Skolt Sami Language

by Rueter, Jack, Hämäläinen, Mika
Published 2020
Subjects: “...Formal Languages and Automata Theory cs.FL...”

Get access
Get access

Article in Journal/Newspaper
Select result number 7
7

Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings

by Bruggink, H. J. Sander, König, Barbara, Nolte, Dennis, Zantema, Hans
Published 2015
Subjects: “...Formal Languages and Automata Theory cs.FL...”

Get access
Get access

Report
Select result number 8
8

Untwisting two-way transducers in elementary time

by Baschenis, Félix, Gauwin, Olivier, Muscholl, Anca, Puppis, Gabriele
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 9
9

Untwisting two-way transducers in elementary time

by Baschenis, Félix, Gauwin, Olivier, Muscholl, Anca, Puppis, Gabriele
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Subjects: “...[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 10
10

A Petri Net Model of HandShake Protocols

by Fossati, Luca, Varacca, Daniele
Published 2008
Subjects: “...[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]...”

Get access

Conference Object
Select result number 11
11

A Petri Net Model of HandShake Protocols

by Fossati, Luca, Varacca, Daniele
Published 2008
Subjects: “...[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]...”

Get access

Conference Object
Select result number 12
12

A Crevice on the Crane Beach: Finite-Degree Predicates

by Cadilhac, Michaël, Paperman, Charles
Published 2017
Subjects: “...[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]...”

Get access

Conference Object
Select result number 13
13

A Crevice on the Crane Beach: Finite-Degree Predicates

by Cadilhac, Michaël, Paperman, Charles
Published 2017
Subjects: “...[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]...”

Get access

Conference Object
Select result number 14
14

A Crevice on the Crane Beach: Finite-Degree Predicates

by Cadilhac, Michaël, Paperman, Charles
Published 2017
Subjects: “...[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]...”

Get access

Conference Object
Select result number 15
15

Logical forms of chronicles

by Guyet, Thomas, Markey, Nicolas
Published 2022
Subjects: “...[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]...”

Get access
Get access
Get access

Conference Object
Select result number 16
16

Logical forms of chronicles

by Guyet, Thomas, Markey, Nicolas
Published 2022
Subjects: “...[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]...”

Get access
Get access
Get access

Conference Object
Select result number 17
17

Logical forms of chronicles

by Guyet, Thomas, Markey, Nicolas
Published 2022
Subjects: “...[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]...”

Get access
Get access
Get access

Conference Object
Select result number 18
18

Logical forms of chronicles

by Guyet, Thomas, Markey, Nicolas
Published 2022
Subjects: “...[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]...”

Get access
Get access
Get access

Conference Object
Select result number 19
19

Logical forms of chronicles

by Guyet, Thomas, Markey, Nicolas
Published 2022
Subjects: “...[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]...”

Get access
Get access
Get access

Conference Object
Select result number 20
20

Logical forms of chronicles

by Guyet, Thomas, Markey, Nicolas
Published 2022
Subjects: “...[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]...”

Get access
Get access
Get access

Conference Object