Reasoning about uncertainty / von Halpern, Joseph Y., 1953-

Volltext öffnen

Actual causality / von Halpern, Joseph Y., 1953-

Volltext öffnen

Reasoning about Uncertainty von Halpern, Joseph Y. 1953-

Volltext öffnen

Actual causality von Halpern, Joseph Y. 1953-

Inhaltsverzeichnis
Inhaltsverzeichnis

Reasoning about uncertainty von Halpern, Joseph Y. 1953-

Axiomatic definitions of programming languages von Meyer, Albert R., Halpern, Joseph Y. 1953-

Axiomatic definitions of programming languages von Meyer, Albert R., Halpern, Joseph Y. 1953-

Reasoning about uncertainty von Halpern, Joseph Y. 1953-

Inhaltsverzeichnis

The semantics of local storage, or what makes the free-list free? von Halpern, Joseph Y. 1953-, Meyer, Albert R., Trachtenbrot, Boris Avraamovič 1921-2016

From denotatonal to operational and axiomatic semantics for ALGOL-like languages: an overview von Trachtenbrot, Boris Avraamovič 1921-2016, Halpern, Joseph Y. 1953-, Meyer, Albert R.

Deterministic propositional dynamic logic finite models, complexity, and completeness von Ben-Arî, Môtî 1948-, Halpern, Joseph Y. 1953-, Pnueli, Amir

Actual causality von Halpern, Joseph Y. 1953-

Volltext öffnen

Reasoning about uncertainty von Halpern, Joseph Y. 1953-

Decidability and expressiveness for first-order logics of probability von Abadi, Martín 1963-, Halpern, Joseph Y. 1953-

The propositional dynamic logic of deterministic, well-structured programs von Halpern, Joseph Y. 1953-, Reif, John H.

Axiomatic definitions of programming languages von Meyer, Albert R., Halpern, Joseph Y. 1953-

Theoretical aspects of reasoning about knowledge proceedings of the 1986 Conference ; March 19 - 22, 1986, Monterey, Calif.

Weitere Verfasser: “… Halpern, Joseph Y. 1953- …”

Probabilistic and causal inference: the works of Judea Pearl

Weitere Verfasser: Volltext öffnen

Probabilistic and causal inference the works of Judea Pearl

Weitere Verfasser: