A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “axiomatic semantics” 2

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Deductive reasoning about concurrent probabilistic programs
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, Reasoning, and Knowledge Open access

Ira Fesefeldt

0

citations
A Logic of Only-Believing over Arbitrary Probability Distributions
2023 conference-paper Computer Science Logic, Reasoning, and Knowledge

Daxin Liu, Vaishak Belle, Gerhard Lakemeyer

0

citations

2 results