Proofs as computations in linear logic
- 作者Giorgio Delzanno; Maurizio Martelli
- 卷第258卷
- 印刷ISSN0304-3975
- 文件大小216.35KB
- 发表时间2001
- DOI10.1016/s0304-3975(00)00024-4
- 页码269-297
同作者推荐
Innovative processes to desulfate the Paradox Valley brineM.S.H. Bader · 2008
Sulfate scale problems in oil fields water injection operationsM.S.H. Bader · 2006
Analysis of the Paradox Valley brine desulfation by nanofiltrationM.S.H. Bader · 2008
Sulfate removal technologies for oil fields seawater injection operationsM.S.H. Bader · 2007
Innovative technologies to solve oil-fields water injection sulfate problemsM.S.H. Bader · 2006
Seawater versus produced water in oil-fields water injection operationsM.S.H. Bader · 2007
Analysis of concentration polarization phenomenon in ultrafiltration under turbulent flow conditionsM.S.H. Bader; J.N. Veenstra · 1996