BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
E.B.Johnsen A.Waaler
Talks about:
calculus (1) connect (1) search (1) proof (1) order (1) first (1) maud (1)

Person: Bjarne Holen

DBLP DBLP: Holen:Bjarne

Contributed to:

WRLA 20082009

Wrote 1 papers:

WRLA-2008-HolenJW09 #calculus #first-order #maude #proving
Proof Search for the First-Order Connection Calculus in Maude (BH, EBJ, AW), pp. 173–188.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.