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
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 DBLP: Eisinger:Norbert

Contributed to:

CADE 19991999
CADE 19971997
PLILP 19971997
CADE 19861986
ILPC 19821982

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.
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.