Some open questions in the theory of program schemes and dynamic logics

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Russian mathematical surveys 1989-02, Vol.44 (1), p.43-68
Hauptverfasser:	Kfoury, A J, Stolboushkin, A P, Urzyczyn, P
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!