Capturing MSO with One Quantifier (Q2947170)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Capturing MSO with One Quantifier	scientific article

Statements

scholarly article

0 references

Capturing MSO with One Quantifier (English)

0 references

0 references

0 references

Fields of Logic and Computation II

0 references

publication date

22 September 2015

0 references

full work available at URL

https://hal.inria.fr/hal-01223378/file/mso-oneQ.pdf

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

0 references

Generalized Quantifiers and Logical Reducibilities

0 references

Tree acceptors and some of their applications

0 references

0 references

Logics for Unranked Trees: An Overview

0 references

0 references

Some Remarks on Generalized Spectra

0 references

Transitive closure logic, nested tree walking automata, and XPath

0 references

Generalized finite automata theory with an application to a decision problem of second-order logic

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-319-23534-9_8

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

0 references

DBLP publication ID

conf/birthday/DawarS15

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2947170

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