Year of publication
Type of media
Source
Subject
Type of material
TIB reading rooms collection
81–100 of 680 hits
Sort by:
Sort by:
-
Zone-based verification of timed automata: extrapolations, simulations and what next?
Free accessArXiv | 2022| -
Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives
Free accessArXiv | 2017| -
Normalization properties of $\lambda\mu$-calculus using realizability semantics
Free accessArXiv | 2023| -
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
Free accessArXiv | 2020|