Order-Invariant Types and Their Applications

DOI10.2168/LMCS-12(1:9)2016zbMath1448.03021arXiv1603.04309OpenAlexW2301245128MaRDI QIDQ2800972

Pablo Barceló, Leonid O. Libkin

Publication date: 19 April 2016

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1603.04309

zbMATH Keywords

typesinvariancefinite model theory

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13)

This page was built for publication: Order-Invariant Types and Their Applications