Order-invariant types and their applications
type: Item
instance of: scholarly article
zbMATH Open document ID: 1448.03021
DOI: 10.2168/LMCS-12(1:9)2016
author: Pablo Barceló
author: Leonid Libkin
published in: Logical Methods in Computer Science
publication date: 2016-04-19T00:00:00Z
full work available at URL: https://arxiv.org/abs/1603.04309
Mathematics Subject Classification ID: 03C13
Mathematics Subject Classification ID: 03D05
Mathematics Subject Classification ID: 03C80
zbMATH DE Number: 6570498
zbMATH Keywords: finite model theory
zbMATH Keywords: invariance
zbMATH Keywords: types
MaRDI profile type: Publication
arXiv ID: 1603.04309
OpenAlex ID: W2301245128
title: Order-invariant types and their applications
description: scientific article; zbMATH DE number 6570498