scientific article; zbMATH DE number 7340144
From MaRDI portal
Publication:4986510
zbMath1459.68040arXiv1210.2456MaRDI QIDQ4986510
Nelma Moreira, Sabine Broda, Ricardo Almeida
Publication date: 27 April 2021
Full work available at URL: https://arxiv.org/abs/1210.2456
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Deciding Synchronous Kleene Algebra with Derivatives ⋮ Deciding Kleene algebra terms equivalence in Coq
This page was built for publication:
