Herman Ruge Jervell

Years Active: 1984-2005
Publications (10 Years): 0

Publications

Herman Ruge Jervell
Finite Trees as Ordinals. CiE (2005)
Olav Gjelsvik, Herman Ruge Jervell
Preface. Synth. 98 (1) (1994)
Stål Aanderaa, Herman Ruge Jervell
Recursive Inseparability in Linear Logic. CSL (1992)
Herman Ruge Jervell
Recursion on Homogeneous Trees. Math. Log. Q. 31 (19-20) (1985)
Herman Ruge Jervell
Gentzen Games. Math. Log. Q. 31 (25-28) (1985)
Herman Ruge Jervell
Large Finite Sets. Math. Log. Q. 31 (35-36) (1985)
Herman Ruge Jervell, Kai A. Olsen
Computer and society. SIGCAS Comput. Soc. (4, 1-3) (1984)

Herman Ruge Jervell.css-eqlu8i{font-size:small;padding-left:4px;}