Symbolic finite state transducers (Q2942866): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Add wikidata reference. |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q131121021 / rank | |||
Normal rank |
Latest revision as of 10:43, 16 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Symbolic finite state transducers |
scientific article |
Statements
Symbolic finite state transducers (English)
0 references
11 September 2015
0 references
SMT
0 references
automata
0 references
composition
0 references
equivalence
0 references