Journals in DBLP

Elektronische Informationsverarbeitung und Kybernetik
1989, volume: 25, number: 5/6

1. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce
   Algebraic Specification of Modules and Configuration Families. [Citation Graph (0, 0)][DBLP]
   Elektronische Informationsverarbeitung und Kybernetik, 1989, v:25, n:5/6, pp:205-232 [Journal]
   
2. Thomas Fischer
   Lower Bound Proofs via Voronoi Diagrams. [Citation Graph (0, 0)][DBLP]
   Elektronische Informationsverarbeitung und Kybernetik, 1989, v:25, n:5/6, pp:233-238 [Journal]
   
3. Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen
   On the Power of Probabilistic Inductive Inference in Nonstandard Numberings. [Citation Graph (0, 0)][DBLP]
   Elektronische Informationsverarbeitung und Kybernetik, 1989, v:25, n:5/6, pp:239-243 [Journal]
   
4. Zdzislaw Habasinski
   Solving Generalized Equations Over Infinite Trees. [Citation Graph (0, 0)][DBLP]
   Elektronische Informationsverarbeitung und Kybernetik, 1989, v:25, n:5/6, pp:245-254 [Journal]
   
5. Gerhard Lischke
   Types of Separations for Relativized Complexity Classes. [Citation Graph (0, 0)][DBLP]
   Elektronische Informationsverarbeitung und Kybernetik, 1989, v:25, n:5/6, pp:255-262 [Journal]
   
6. Alberto Pettorossi, Andrzej Skowron
   The Power of the Lambda Abstraction Strategy for Program Derivation. [Citation Graph (0, 0)][DBLP]
   Elektronische Informationsverarbeitung und Kybernetik, 1989, v:25, n:5/6, pp:263-281 [Journal]
   
7. Gerard R. Renardel de Lavalette
   Modularisation, Parametrisation, Interpolation. [Citation Graph (0, 0)][DBLP]
   Elektronische Informationsverarbeitung und Kybernetik, 1989, v:25, n:5/6, pp:283-292 [Journal]
   
8. Gisela Schäfer-Richter
   A Time Logic for Hierarchical Modelling of Dynamic Systems. [Citation Graph (0, 0)][DBLP]
   Elektronische Informationsverarbeitung und Kybernetik, 1989, v:25, n:5/6, pp:293-306 [Journal]