Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Bibel, W."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution
W. Bibel
,
E. Eder
Journal of the ACM
44
(2), 1997, pp. 320-344
Problem-oriented applications of automated theorem proving
W. Bibel
,
D. Korn
,
C. Kreitz
,
S. Schmitt
Lecture Notes in Computer Science
1128
, 1996, pp. 1-21
A bibliography on parallel inference machines
W. Bibel
,
K. Aspetsberger
Journal Symbolic Computation
1
(1), 1985, pp. 115-118
Automated inferencing
W. Bibel
Journal Symbolic Computation
1
(3), 1985, pp. 245-260
On matrices with connections
W. Bibel
Journal of the ACM
28
(4), 1981, pp. 633-645
Tautology testing with a generalized matrix reduction method
W. Bibel
Theoretical Computer Science
8
(1), 1979, pp. 31-44