scientific article
From MaRDI portal
Publication:3030809
zbMATH Open0627.03022MaRDI QIDQ3030809
Publication date: 1987
Title of this publication is not available (Why is that?)
graph propertiessuccessor structurefinite spectraNondeterministic Random Access Machineprenex first-order sentence of unary type
Complexity of computation (including implicit computational complexity) (03D15) Model theory of finite structures (03C13)
Related Items (1)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3030809)