BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Germany
Collaborated with:
E.H.Lian R.Antonsen B.Holen E.B.Johnsen
Talks about:
calculus (1) variabl (1) default (1) connect (1) system (1) search (1) reduct (1) extens (1) comput (1) split (1)

Person: Arild Waaler

DBLP DBLP: Waaler:Arild

Contributed to:

KR 20082008
WRLA 20082009
CADE 20072007

Wrote 3 papers:

KR-2008-LianW #reduction
Computing Default Extensions by Reductions on OR (EHL, AW), pp. 496–506.
WRLA-2008-HolenJW09 #calculus #first-order #maude #proving
Proof Search for the First-Order Connection Calculus in Maude (BH, EBJ, AW), pp. 173–188.
A Labelled System for IPL with Variable Splitting (RA, AW), pp. 132–146.

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.