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: Journal=J. Symbolic Computation AND Volume=21
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Strategy compliant multi-threaded term completion
Reinhard Bündgen
,
Manfred Göbel
,
Wolfgang Küchlein
Journal Symbolic Computation
21
(4), 1996, pp. 475-505
On the reconstruction of proofs in distributed theorem proving: A modified clause-diffusion method
Maria Paola Bonacina
Journal Symbolic Computation
21
(4), 1996, pp. 507-522
Recording and analysing knowledge-based distributed deduction processes
Jörg Denzinger
,
Stephan Schulz
Journal Symbolic Computation
21
(4), 1996, pp. 523-541
PSATO: A distributed propositional prover and its application to quasigroup problems
Hantao Zhang
,
Maria Paola Bonacina
,
Jieh Hsiang
Journal Symbolic Computation
21
(4), 1996, pp. 543-560
Parallelizing imperative functional programs : The vectorization monad
Jonathan M.D. Hill
,
Keith M. Clarke
,
Richard Bornat
Journal Symbolic Computation
21
(4), 1996, pp. 561-576
Shared memory implementation of the Gamma-operation
Katia Gladitz
,
Herbert Kuchen
Journal Symbolic Computation
21
(4), 1996, pp. 577-591
A para-functional programming interface for a parallel computer algebra package
Wolfgang Schreiner
Journal Symbolic Computation
21
(4), 1996, pp. 593-614
A semi-automatic multiple-strategy approach to mapping tree-structured symbolic processing programs
Angela Sodan
Journal Symbolic Computation
21
(4), 1996, pp. 615-634
The constraint-based knowledge broker model: Semantics, implemantation and analysis
Jean-Marc Andreoli
,
Uwe M. Borghoff
,
Remo Pareschi
Journal Symbolic Computation
21
(4), 1996, pp. 635-667
Extending the
\mu
Log framework with local and conditional blackboard operations
Koen de Bosschere
,
Jean-Marie Jacquet
Journal Symbolic Computation
21
(4), 1996, pp. 669-697
Constraint satisfaction in distributed concurrent logic programming
Ho-Fung Leung
,
Keith L. Clark
Journal Symbolic Computation
21
(4), 1996, pp. 699-714
A methodology for granularity-based control of parallelism in logic programs
P. Lopez
,
M. Hermenegildo
,
S. Debray
Journal Symbolic Computation
21
(4), 1996, pp. 715-734
Seiten
<
1
2