scientific article; zbMATH DE number 7364142
From MaRDI portal
Publication:4997237
zbMath1464.68212arXiv1412.1156MaRDI QIDQ4997237
Guido Boella, Alan Perotti, Artur S. d'Avila Garcez
Publication date: 28 June 2021
Full work available at URL: https://arxiv.org/abs/1412.1156
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication:
