[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 1990 Volume 452 || Splitsort—an adaptive sorting algorithmRovan, Branislav · 1990

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || An approach to proof checkerGruska, Jozef; Rovan, Branislav; Wiedermann, Juraj · 1986

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1984 Volume 176 || Outline of an algebraic language theoryChytil, M. P.; Koubek, V. · 1984

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || An almost linear robinson unification algorithmChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1989 Volume 379 || Knuth-Morris-Pratt algorithm: An analysisKreczmar, Antoni; Mirkowska, Grazyna · 1989

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1999 Volume 1672 || An Algebraic Approach to Knowledge RepresentationKutyłowski, Mirosław; Pacholski, Leszek; Wierzbicki, Tomasz · 1999

[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Knowledge discovery in databases — An inductive logic programming approachFreksa, Christian; Jantzen, Matthias; Valk, Rüdiger · 1997