Interleaving Strategies
From MaRDI portal
Publication:5200118
DOI10.1007/978-3-642-22673-1_14zbMath1335.68290OpenAlexW2913316752MaRDI QIDQ5200118
Bastiaan Heeren, Johan Jeuring
Publication date: 29 July 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22673-1_14
Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computer-assisted instruction, e-learning (aspects of mathematics education) (97U50)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Tactics for hierarchical proof
- Specifying rewrite strategies for interactive exercises
- Algebra of communicating processes with abstraction
- Adapting Mathematical Domain Reasoners
- The Zipper
- FUNCTIONAL PEARL Parsing permutation phrases
- Artificial Intelligence and Soft Computing - ICAISC 2004
- Combinator Parsing: A Short Tutorial
- Building program optimizers with rewriting strategies
This page was built for publication: Interleaving Strategies