Theorems and problems about nonstandard dynamic logic

TitleTheorems and problems about nonstandard dynamic logic
Publication TypeJournal Article
AuthorsCsirmaz, L.
Journal titleProceeding of Work- shop on Algorithms, Technical Univ. of Poznan
Year1981
Pages17–19
Languageeng
Notes

exported from refbase (http://www.bibliography.ceu.hu/show.php?record=60), last updated on Tue, 19 May 2009 11:40:47 +0200

Unit: 
Department of Mathematics and its Applications