Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory

@inproceedings{Makowsky1980MeasuringTE,
  title={Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory},
  author={Johann A. Makowsky},
  booktitle={ICALP},
  year={1980}
}
3 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…