An exercise on the generation of many-valued dynamic logics

From MaRDI portal
Publication:2374313

DOI10.1016/j.jlamp.2016.03.004zbMath1355.03023OpenAlexW2339091729MaRDI QIDQ2374313

Renato Neves, Manuel A. Martins, Alexandre Madeira

Publication date: 15 December 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.03.004




Related Items (7)


Uses Software


Cites Work


This page was built for publication: An exercise on the generation of many-valued dynamic logics