Infinitary logic and inductive definability over finite structures
type: Item
instance of: scholarly article
title: Infinitary logic and inductive definability over finite structures
zbMATH Open document ID: 0834.68029
author: Anuj Dawar
author: Steven Lindell
author: Scott Weinstein
published in: Information and Computation
publication date: 1995-08-02T00:00:00Z
full work available at URL: https://repository.upenn.edu/cgi/viewcontent.cgi
Mathematics Subject Classification ID: 68Q15
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 772335
zbMATH Keywords: complexity classes
zbMATH Keywords: machine model of generic computation
Wikidata QID: Q58215767
MaRDI profile type: Publication
OpenAlex ID: W2037071126
DOI: 10.1006/INCO.1995.1084
DBLP publication ID: journals/iandc/DawarLW95
description: scientific article; zbMATH DE number 772335