scientific article; zbMATH DE number 6795379
From MaRDI portal
Publication:5368012
zbMath1389.68051MaRDI QIDQ5368012
Yingxiong Shen, Haiyu Pan, Li Li
Publication date: 20 October 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Fuzzy logic; logic of vagueness (03B52) Specification and verification (program logics, model checking, etc.) (68Q60) Many-valued logic (03B50)
This page was built for publication:
