Bjarne Holen
Publikasjoner
- 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.
Publisert 4. nov. 2010 13:58
- Sist endret 14. mar. 2011 15:13