The programming system PRIZ

From MaRDI portal
(Redirected from Publication:4560348)
The programming system PRIZ (scientific article; zbMATH DE number 6992059)


DOI10.1007/BFB0019353MaRDI QIDQ4560348zbMATH OpenFDO

Authors G. E. Mints, É. Kh. Tyugu

Publication date 11 December 2018

Published in Baltic Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0019353


zbMATH Keywords

abstract objectminimax problemprogram synthesispropositional variablestructural synthesis

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)




Recommendations


Cites work


Cited in
(8)


Describes a project that uses

Uses Software






This page was built for publication: The programming system PRIZ

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4560348)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=The_programming_system_PRIZ_(scientific_article;_zbMATH_DE_number_6992059)&oldid=89729045"
Powered by MediaWiki