Yuri Gurevich Platonism, Constructivism, and Computer Proofs vs. Proofs by Hand. [Citation Graph (0, 0)][DBLP] Bulletin of the EATCS, 1995, v:57, n:, pp:- [Journal]
F. Geurts Hierarchy of Discrete-Time Dynamical Systems, a Survey. [Citation Graph (0, 0)][DBLP] Bulletin of the EATCS, 1995, v:57, n:, pp:- [Journal]
Hartmut Ehrig, Bernd Mahr Theory and Practice of Software Development: A Review of Driving Forces and Expectations. [Citation Graph (0, 0)][DBLP] Bulletin of the EATCS, 1995, v:57, n:, pp:- [Journal]
Danny Raz Context-free Languages are Not Closed under Interior and Frontier. [Citation Graph (0, 0)][DBLP] Bulletin of the EATCS, 1995, v:57, n:, pp:- [Journal]