scientific article; zbMATH DE number 7317259
From MaRDI portal
Publication:4964726
zbMath1457.68160arXiv1106.1239MaRDI QIDQ4964726
Publication date: 3 March 2021
Full work available at URL: https://arxiv.org/abs/1106.1239
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)
Related Items (1)
This page was built for publication:
