[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1984 Volume 176 || Sparse oracles, lowness, and highness
- 作者Chytil, M. P.; Koubek, V.
- 文件大小540.51KB
- 发表时间1984
- DOI10.1007/bfb0030298
- 页码185-193
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 ||Kahl, Wolfram; Griffin, Timothy G. · 2012
[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || On cylindric algebraic model theoryBergman, Clifford H.; Maddux, Roger D.; Pigozzi, Don L. · 1990
Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7Springer-Verlag · 2004
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 10226 ||Höfner, Peter; Pous, Damien; Struth, Georg · 2017
[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || The resolution rule: An algebraic perspectiveBergman, Clifford H.; Maddux, Roger D.; Pigozzi, Don L. · 1990
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Algebraic view specificationWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1548 || Abstract Algebraic LogicHaeberer, Armando M. · 1999
[Lecture Notes in Computer Science] Computer Science Today Volume 1000 || Algebraic topology and distributed computing a primervan Leeuwen, Jan · 1995
[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Conditional term graph rewritingHanus, Michael; Heering, Jan; Meinke, Karl · 1997
[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Parallelizing functional programs by generalizationHanus, Michael; Heering, Jan; Meinke, Karl · 1997
[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Parameterised higher-order algebraic specificationsHanus, Michael; Heering, Jan; Meinke, Karl · 1997
[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Needed reductions with context-sensitive rewritingHanus, Michael; Heering, Jan; Meinke, Karl · 1997
[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Lazy narrowing with parametric order sorted typesHanus, Michael; Heering, Jan; Meinke, Karl · 1997
[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Explicit substitutions for the λΔ-calculusHanus, Michael; Heering, Jan; Meinke, Karl · 1997
[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Optimal non-deterministic functional logic computationsHanus, Michael; Heering, Jan; Meinke, Karl · 1997
[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || On composable properties of term rewriting systemsHanus, Michael; Heering, Jan; Meinke, Karl · 1997