| Title | A survey of semantics of Floyd-Hoare derivability |
| Publication Type | Journal Article |
| Authors | Csirmaz, L. |
| Journal title | CL & CL---Comput. Linguist. Comput. Lang. |
| Year | 1980 |
| Pages | 21--42 |
| Volume | 14 |
| Language | eng |
| Notes | MR626259 (82j:68005); {'a} {'o} |
Unit:
Department of Mathematics and its Applications