`Travelled to:`

1 × Australia

1 × France

1 × Italy

1 × United Kingdom

`Collaborated with:`

M.Kettner ∅ H.J.Ohlbach P.Baumgartner U.Furbach T.Geisler S.Panne S.Kasif J.Minker

`Talks about:`

logic (2) implement (1) confluent (1) procedur (1) parallel (1) markgraf (1) function (1) calculus (1) approach (1) tableau (1)

## Person: Norbert Eisinger

### DBLP: Eisinger:Norbert

### Contributed to:

### Wrote 6 papers:

- CADE-1999-BaumgartnerEF #calculus #confluence
- A Confluent Connection Calculus (PB, NE, UF), pp. 329–343.
- CADE-1997-KettnerE
- The Tableau Browser SNARKS (MK, NE), pp. 408–411.
- PLILP-1997-EisingerGP #logic
- Logic Implemented Functionally (NE, TG, SP), pp. 351–368.
- CADE-1986-Eisinger #graph #what
- What You Always Wanted to Know About Clause Graph Resolution (NE), pp. 316–336.
- CADE-1986-EisingerO
- The Markgraf Karl Refutation Procedure (MKRP) (NE, HJO), pp. 681–682.
- ILPC-1982-EisingerKM82 #approach #logic programming #parallel
- Logic Programming: A Parallel Approach (NE, SK, JM), pp. 71–77.