Herman Ruge Jervell

According to our database, Herman Ruge Jervell authored at least 7 papers between 1984 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

Finite Trees as Ordinals.

Herman Ruge Jervell

Proceedings of the New Computational Paradigms, 2005

1994

Preface.

Olav Gjelsvik, Herman Ruge Jervell

Synth., 1994

1992

Recursive Inseparability in Linear Logic.

Stål Aanderaa, Herman Ruge Jervell

Proceedings of the Computer Science Logic, 6th Workshop, 1992

1985

Large Finite Sets.

Herman Ruge Jervell

Math. Log. Q., 1985

Gentzen Games.

Herman Ruge Jervell

Math. Log. Q., 1985

Recursion on Homogeneous Trees.

Herman Ruge Jervell

Math. Log. Q., 1985

1984

Computer and society.

Herman Ruge Jervell, Kai A. Olsen

SIGCAS Comput. Soc., 1984