Meghdad Ghari (School of Mathematics

Identifiers

No identifiers captured yet.

Papers (1)

1. Temporal Justification Logic cs.LO · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Institute for Research in Fundamental Sciences (IPM)) 1 shared papers
• Samuel Bucheli (Z\"uhlke Engineering AG) 1 shared papers
• Thomas Studer (University of Bern) 1 shared papers