Login / Signup
Paul Rozière
Publication Activity (10 Years)
Years Active: 1993-2015
Publications (10 Years): 1
Top Topics
Theorem Prover
Intermediate Level
Propositional Dynamic Logic
Proof Theoretic
Top Venues
J. Symb. Log.
</>
Publications
</>
Rosalie Iemhoff
,
Paul Rozière
Unification in Intermediate Logics.
J. Symb. Log.
80 (3) (2015)
Michel Parigot
,
Paul Rozière
Constant Time Reductions in Lambda-Caculus.
MFCS
(1993)
Paul Rozière
Admissible and Derivable Rules in Intuitionistic Logic.
Math. Struct. Comput. Sci.
3 (2) (1993)