[Lecture Notes in Computer Science] Extreme Programming and Agile Processes in Software Engineering Volume 3556 || Another Notch
- 作者Baumeister, Hubert; Marchesi, Michele; Holcombe, Mike
- 文件大小36.36KB
- 发表时间2005
- DOI10.1007/11499053_26
- 页码201-201
同作者推荐
Type fixpointsSpławski, Zdzisław; Urzyczyn, Paweł · ACM SIGPLAN Notices · 1999
“During” cannot be expressed by “after”Paweł Urzyczyn · 1986
The unwind property in certain algebrasPaweŁ Urzyczyn · 1981
The emptiness problem for intersection typesUrzyczyn, Paweł · The Journal of Symbolic Logic · 1999
Type reconstruction in FωURZYCZYN, PAWEŁ · Mathematical Structures in Computer Science · 1997
Intuitionistic Games: Determinacy, Completeness, and NormalizationUrzyczyn, Paweł · Studia Logica · 2016
Answer set programming in intuitionistic logicSchubert, Aleksy; Urzyczyn, Paweł · Indagationes Mathematicae · 2017
Discrimination by Parallel Observers: The AlgorithmMariangiola Dezani-Ciancaglini; Jerzy Tiuryn; Paweł Urzyczyn · 1999