scientific article; zbMATH DE number 1424048

From MaRDI portal

Publication:4945239

Jump to:navigation, search

zbMATH Open0942.03043MaRDI QIDQ4945239

Iain A. Stewart

Publication date: 23 March 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order logic infinitary logic zero-one law Lindström quantifiers program schemes with arrays

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Descriptive complexity and finite models (68Q19)

Related Items (1)

Program schemes, arrays, Lindström quantifiers and zero-one laws

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4945239&oldid=19364886"