Wim Ruitenburg (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi: Intuitionistic axiomatizations for bounded extension Kripke models. Ann. Pure Appl. Logic 124(1-3): 267-285 (2003)

7 Mohammad Ardeshir, Wim Ruitenburg: Basic Propositional Calculus II. Interpolation. Arch. Math. Log. 40(5): 349-364 (2001)

5 Mohammad Ardeshir, Wim Ruitenburg: Basic Propositional Calculus I. Math. Log. Q. 44: 317-343 (1998)

Selection of 3 from 9 records - Wim Ruitenburg has 6 coauthors

8		Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi: Intuitionistic axiomatizations for bounded extension Kripke models. Ann. Pure Appl. Logic 124(1-3): 267-285 (2003)
7		Mohammad Ardeshir, Wim Ruitenburg: Basic Propositional Calculus II. Interpolation. Arch. Math. Log. 40(5): 349-364 (2001)
5		Mohammad Ardeshir, Wim Ruitenburg: Basic Propositional Calculus I. Math. Log. Q. 44: 317-343 (1998)