scientific article
From MaRDI portal
Publication:2871852
zbMath1278.68124MaRDI QIDQ2871852
Narciso Martí-Oliet, Miguel Palomino, José Meseguer
Publication date: 10 January 2014
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066108001825?np=y
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) Categorical logic, topoi (03G30) Grammars and rewriting systems (68Q42)
Related Items (1)
This page was built for publication:
