[Lecture Notes in Computer Science] Advances in XML Information Retrieval Volume 3493 || EXTIRP 2004: Towards Heterogeneity
- 作者Fuhr, Norbert; Lalmas, Mounia; Malik, Saadia; Szlávik, Zoltán
- 文件大小146.37KB
- 发表时间2005
- DOI10.1007/11424550_30
- 页码372-381
同作者推荐
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