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: Waaler:Arild
Contributed to:
2008
2009
2007Wrote 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.
- CADE-2007-AntonsenW
- A Labelled System for IPL with Variable Splitting (RA, AW), pp. 132–146.