Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference36 articles.
1. Banachowski, L.: Investigations of properties of programs by means of the extended algorithmic logic I. Annales Societatis Mathematicae Polonae. Ser. IV. Fundamenta Informaticae. Vol. I, No. 1, 1977,93–119.
2. Bernert, J., Biela, A.: On two different modal logics denoted by S9. Reports on Math. Logic.13, 3–9 (1981)
3. Biela, A., Dziobiak, W.: On two properties of structurally complete logics. Reports on Math. Logic.16, 51–54 (1982)
4. Chlebus, B.: On the decidability of propositional algorithmic logic. Zeitschr. für Math. Logik und Grundlagen der Math.28, 247–261 (1982)
5. Church, A.: Introduction on Mathematical Logic. Princeton 1956.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献