Found 9 Documents (Results 1–9)
Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec. (English) Zbl 1260.68075
A factor \(2\) approximation algorithm for the vertex cover \(P_3\) problem. (English) Zbl 1260.68304
Filter Results by …
all
top 5
Author
- Atallah, Mikhail J. (1)
- Bai, Fengshan (1)
- Böcker, Sebastian (1)
- Damaschke, Peter (1)
- Duket, Timothy W. (1)
- Junosza-Szaniawski, Konstanty (1)
- Liang, Heng (1)
- Liu, Ming (1)
- Machkasova, Elena (1)
- Nose, Peter (1)
- Peleg, David (1)
- Rzążewski, Paweł (1)
- Sabel, David (1)
- Schmidt-Schauß, Manfred (1)
- Tu, Jianhua (1)
- Weimann, Oren (1)
- Xu, Yinfeng (1)
- Zhang, Jinshan (1)
- Zhang, Wenming (1)
- Zheng, Feifeng (1)
- Zhou, Wenli (1)
Software
- Fudgets (1)