Bjarne Holen
Publications
- Holen, Bjarne; Johnsen, Einar Broch & Waaler, Arild (2009). Proof Search for the First-Order Connection Calculus in Maude . Electronical Notes in Theoretical Computer Science. ISSN 1571-0661. 238, s 173- 188
- Holen, Bjarne; Johnsen, Einar Broch & Waaler, Arild (2005). Representing Strategies for the Connection Calculus in Rewriting Logic.
Published Nov 4, 2010 01:58 PM
- Last modified Mar 14, 2011 03:13 PM