[Lecture Notes in Mathematics] Global Analysis — Studies and Applications I Volume 1108 || Minimal morse functions
- 作者Borisovich, Yurii G.; Gliklikh, Yurii E.; Vershik, A. M.
- 文件大小822.69KB
- 发表时间1984
- DOI10.1007/bfb0099560
- 页码218-234
[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