Bjarne Holen

According to our database, Bjarne Holen authored at least 2 papers between 2008 and 2012.

Collaborative distances:

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

2012

Efficient Rule-Matching for Hyper-Tableaux.

Bjarne Holen, Dag Hovland, Martin Giese

Proceedings of the IWIL 2012: The 9th International Workshop on the Implementation of Logics, 2012

2008

Proof Search for the First-Order Connection Calculus in Maude.

Bjarne Holen, Einar Broch Johnsen, Arild Waaler

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008