| Title | Nonstandard logics of programs |
| Publication Type | Conference Paper |
| Authors | Csirmaz, L. |
| Year | 1983 |
| Pages | 285–294 |
| Conference Name | Algebra, combinatorics and logic in computer science, Vol. I, II |
| Language | eng |
| Notes | exported from refbase (http://www.bibliography.ceu.hu/show.php?record=54), last updated on Tue, 19 May 2009 11:40:47 +0200 |
Unit:
Department of Mathematics and its Applications