Bjarne Holen

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Relational Databases

Computationally Expensive

Association Rules

Top Venues

Publications

Bjarne Holen, Dag Hovland, Martin Giese
Efficient Rule-Matching for Hyper-Tableaux. IWIL@LPAR (2012)
Bjarne Holen, Einar Broch Johnsen, Arild Waaler
Proof Search for the First-Order Connection Calculus in Maude. WRLA (2008)