scientific article; zbMATH DE number 1114355
From MaRDI portal
Publication:4376076
zbMath0887.03014MaRDI QIDQ4376076
Vladimir Vladimirovich Rybakov
Publication date: 8 February 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Yankov Characteristic Formulas (An Algebraic Account) ⋮ Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms ⋮ Characteristic inference rules
This page was built for publication:
