Concepedia
Statistics
Publications
2
Citations
138
H-Index
Active since
1987
Harald Westphal is an author specializing in engineering, automated reasoning, and computer science.
Top concepts
EngineeringComputer ScienceAutomated Reasoning
Publications per year
1987–1988
The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism.
Harald Westphal, Philippe A. Robert, Jacques Chassin de Kergommeaux et al. · SLP · 1987 · 72 citations
Engineering, Automated Reasoning, Computational Paradigm +2
The Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results.
Uri Baron, Jacques Chassin de Kergommeaux, Max Hailperin et al. · Future Generation Computer Systems · 1988 · 66 citations
1–2 of 2