Second-Order Finite Automata (Q5042226)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7603912

Language	Label	Description	Also known as
English	Second-Order Finite Automata	scientific article; zbMATH DE number 7603912

Statements

scholarly article

0 references

Second-Order Finite Automata (English)

0 references

Alexsander Andrade de Melo

0 references

Mateus de Oliveira Oliveira

0 references

Computer Science – Theory and Applications

0 references

publication date

19 October 2022

0 references

full work available at URL

https://arxiv.org/abs/2108.12751

0 references

MaRDI profile type

MaRDI publication profile

0 references

On the Width of Ordered Binary Decision Diagrams

0 references

On the minimization of (complete) ordered binary decision diagrams

0 references

0 references

0 references

The monadic second-order logic of graphs. I: Recognizable sets of finite graphs

0 references

0 references

0 references

0 references

0 references

Automata and concurrency

0 references

Identifiers

10.1007/978-3-030-50026-9_4

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5042226

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5042226&oldid=37444062"