scientific article; zbMATH DE number 7340144

zbMATH Open1459.68040arXiv1210.2456MaRDI QIDQ4986510FDOQ4986510

Nelma Moreira, Sabine Broda, Ricardo Almeida

Publication date: 27 April 2021

Full work available at URL: https://arxiv.org/abs/1210.2456

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70)

Cited In (3)

• Title not available (Why is that?)
• Deciding Synchronous Kleene Algebra with Derivatives
• Deciding Kleene algebra terms equivalence in Coq

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4986510)