PARALLEL TERM REWRITING WITH PAREDUX

PARALLEL TERM REWRITING WITH PAREDUX (1998)

Cached

Download Links

[cg.cs.uni-bonn.de]

by Bündgen, et al.

Citations:

5 - 3 self

BibTeX

@MISC{Bündgen98parallelterm,
    author = {Bündgen and et al.},
    title = {PARALLEL TERM REWRITING WITH PAREDUX},
    year = {1998}
}

Bookmark

OpenURL

Abstract

Citations

777	Modern Operating Systems - Tanenbaum - 2007
723	Rewrite systems - Dershowitz, Jouannaud - 1990
409	Multilisp: A language for concurrent symbolic computation - Halstead - 1985
212	Lazy task creation: A technique for increasing the granularity of parallel programs - Mohr, Kranz, et al. - 1991
94	The TPTP Problem Library - Sutcliffe, Suttner - 2001
50	The PVM system: Supercomputer level concurrent computation on a heterogeneous network of workstations - Geist, Sunderam - 1991
42	A complete proof of correctness of the Knuth-Bendix completion algorithm - Huet - 1981
25	Goal oriented equational theorem proving using team work, in - Denzinger, Fuchs - 1994
22	Distributing equational theorem proving - Avenhaus, Denzinger - 1993
18	PARSAC-2: A parallel SAC-2 based on threads - Küchlin - 1990
16	Distributed symbolic computation with DTS - Bubeck, Hiller, et al. - 1995
14	Reduce the redex ,! ReDuX - Bündgen - 1993
14	Learning Proof Heuristics by Adapting Parameters - Fuchs - 1995
13	Strategy-accurate parallel Buchberger algorithms - Attardi, Traverso - 1996
12	Experiments with virtual C Threads - Küchlin, Ward - 1992
10	Teamwork: Eine Methode zum Entwurf verteilter, wissensbasierter Theorembeweiser - Denzinger
10	Recording and Analyzing Knowledge-based Distributed Deduction Process - Denzinger, Schulz - 1996
10	Experiments with ROO, a parallel automated deduction system - Lusk, McCune - 1992
10	The design of the PACLIB kernel for parallel algebraic computation - Schreiner, Hong - 1993
9	Heuristical criteria in refutational theorem proving - Anantharaman, Andrianarievelo - 1990
9	1996a, ‘A Master-Slave Approach to Parallel Term Rewriting on a Hierachical Multiprocessor - Bündgen, Göbel, et al.
9	The S-threads environment for parallel symbolic computation - Küchlin - 1992
7	A fine-grained parallel completion procedure - Bündgen, Göbel, et al. - 1994
7	PARSAC-2: Parallel computer algebra on the desk-top - Kuchlin - 1995
7	Reasoning about Equality - Lusk, Overbeek - 1985
6	Parallel ReDuX → PaReDuX - Bündgen, Göbel, et al. - 1995
6	TWlib - a Library for Distributed Search Applications - Denzinger, Lind - 1996
6	On multi-threaded listprocessing and garbage collection - Küchlin, Nevin - 1991
4	Strategy compliant multi-threaded term completion - Bündgen, Göbel, et al. - 1996
4	A confluence criterion based on the generalised Newman lemma - Kuchlin - 1985
3	Completion procedures as Semidecision procedures - Bonacina, Hsiang - 1991
3	A MultiThreaded Unfailing Completion - Maier, Göbel, et al. - 1995
2	Parallel completion techniques - Amrhein, Bündgen, et al. - 1998
2	A Generalized Knuth-Bendix Algorithm - Küchlin - 1986
1	paredux.tex; 15/02/1998; 12:33; p.25 26 - RTA’93, Canada - 1993
1	Distributed Deduction by Clause-Diffusion - Bonacina, Hsiang - 1995
1	Available via anonymous ftp atmelmac.risc.uni-linz.ac.at inpub/saclib - Buchberger, Collins, et al. - 1993
1	1994a, ‘Experiments with Multi-Threaded Knuth-Bendix Completion - Bündgen, Göbel, et al.
1	ALDES and SAC–2 Now Available’. SIGSAM Bulletin 12(2), 19. paredux.tex; 15/02/1998; 12:33; p.26 - Collins - 1980
1	SiCoTHEO — Simple Competive parallel Theorem Provers based on SETHEO - Schumann - 1995