[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Explicit substitutions for the λΔ-calculus
- 作者Hanus, Michael; Heering, Jan; Meinke, Karl
- 文件大小852.05KB
- 发表时间1997
- DOI10.1007/bfb0027012
- 页码209-223
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || Robust oracle machinesChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || Reusable specification componentsChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || Comparing interconnection networksChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || Distribution of Sequential ProcessesChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || Positive/Negative conditional rewritingChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || String matching with constraintsChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || On complexity of countingChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || Functional programming and combinatory algebrasChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988