A Characterization of Floyd-Provable Programs

@inproceedings{Andrka1981ACO,
  title={A Characterization of Floyd-Provable Programs},
  author={Hajnal Andr{\'e}ka and Istv{\'a}n N{\'e}meti and Ildik{\'o} Sain},
  booktitle={MFCS},
  year={1981}
}

From This Paper

Topics from this paper.
2 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…