Samuel Bucheli (Z\"uhlke Engineering AG)

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Institute for Research in Fundamental Sciences (IPM)) 1 shared papers
• Meghdad Ghari (School of Mathematics 1 shared papers
• Thomas Studer (University of Bern) 1 shared papers