scientific article
From MaRDI portal
Publication:4068695
zbMath0311.02021MaRDI QIDQ4068695
Publication date: 1975
Full work available at URL: https://eudml.org/doc/16697
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Classical first-order logic (03B10) Varieties (08B99) Turing machines and related notions (03D10) General logic (03B99) Other classical first-order model theory (03C68)
Related Items (5)
Universal quantifiers and time complexity of random access machines ⋮ First-order spectra with one binary predicate ⋮ Spatial-temporal difference equations and their application in spatial-temporal data model especially for big data ⋮ On Horn spectra ⋮ Unnamed Item
This page was built for publication:
