scientific article
From MaRDI portal
Publication:3745277
zbMath0606.68040MaRDI QIDQ3745277
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
polynomial time algorithmsprogram synthesisrelational databasesrelational dependencyminimal programsanalysis of dependencieslossless calculi
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Information storage and retrieval of data (68P20)
Related Items (2)
Finite approximatization of languages for representation of system properties: Axiomatization of dependencies ⋮ Relations, dependencies, and some problems of systems theory
This page was built for publication:
