[Lecture Notes in Computer Science] GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen Volume 2 || A mathematical model of digital computersPawlak, Z. · 1973

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Developing implicit data structuresGruska, Jozef; Rovan, Branislav; Wiedermann, Juraj · 1986

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Quicksort without a stackGruska, Jozef; Rovan, Branislav; Wiedermann, Juraj · 1986

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Iterative systems of equationsGruska, Jozef; Rovan, Branislav; Wiedermann, Juraj · 1986

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Towards an efficient mergingGruska, Jozef; Rovan, Branislav; Wiedermann, Juraj · 1986

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Proofs that Release Minimum KnowledgeGruska, Jozef; Rovan, Branislav; Wiedermann, Juraj · 1986

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Complexity of generalized graph coloringGruska, Jozef; Rovan, Branislav; Wiedermann, Juraj · 1986

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Relational specifications and observational semanticsGruska, Jozef; Rovan, Branislav; Wiedermann, Juraj · 1986

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Parallel arithmetic computations: A surveyGruska, Jozef; Rovan, Branislav; Wiedermann, Juraj · 1986