Descriptive Complexity and Model Checking

@inproceedings{Immerman1998DescriptiveCA,
  title={Descriptive Complexity and Model Checking},
  author={Neil Immerman},
  booktitle={FSTTCS},
  year={1998}
}

From This Paper

Topics from this paper.
1 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…