Kjartan Stefánsson

According to our database, Kjartan Stefánsson authored at least 3 papers between 1994 and 1997.

Collaborative distances:

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

1997

Computing the Newtonian Graph.

Dexter Kozen, Kjartan Stefánsson

J. Symb. Comput., 1997

1995

Newtonian Graphs, Riemann Surfaces and Computation.

Kjartan Stefánsson

PhD thesis, 1995

1994

Systems of Set Constraints with Negative Constraints are NEXPTIME-Complete

Kjartan Stefánsson

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994