| Publication | Date of Publication | Type |
|---|
The programming system PRIZ
Baltic Computer Science | 2018-12-11 | Paper |
Type-theoretical semantics of some declarative languages
Baltic Computer Science | 2018-12-11 | Paper |
Grigori Mints and computer science
| 2011-05-31 | Paper |
Algorithms and architectures of artificial intelligence
| 2007-08-21 | Paper |
scientific article; zbMATH DE number 2084338 (Why is no real title available?)
| 2004-08-06 | Paper |
scientific article; zbMATH DE number 1973864 (Why is no real title available?)
| 2003-09-02 | Paper |
scientific article; zbMATH DE number 1830933 (Why is no real title available?)
| 2002-11-18 | Paper |
PRIZ programming system
Programming and Computer Software | 2002-09-08 | Paper |
scientific article; zbMATH DE number 1737606 (Why is no real title available?)
| 2002-05-05 | Paper |
scientific article; zbMATH DE number 683347 (Why is no real title available?)
| 1999-07-29 | Paper |
scientific article; zbMATH DE number 683335 (Why is no real title available?)
| 1994-12-04 | Paper |
scientific article; zbMATH DE number 683339 (Why is no real title available?)
| 1994-12-04 | Paper |
Object-oriented programming
Programming and Computer Software | 1992-06-28 | Paper |
Higher order dataflow schemas
Theoretical Computer Science | 1991-01-01 | Paper |
scientific article; zbMATH DE number 4116014 (Why is no real title available?)
| 1989-01-01 | Paper |
The programming system PRIZ
Journal of Symbolic Computation | 1988-01-01 | Paper |
Corrigendum to ``Semantics of a declarative language
Information Processing Letters | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3960984 (Why is no real title available?)
| 1986-01-01 | Paper |
Semantics of a declarative language
Information Processing Letters | 1986-01-01 | Paper |
Description semantics in utopist language and automatic program synthesis
Programming and Computer Software | 1985-01-01 | Paper |
The PRIZ system and propositional calculus
Cybernetics | 1983-01-01 | Paper |
Justification of the structural synthesis of programs
Science of Computer Programming | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3819101 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3934387 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3833279 (Why is no real title available?)
| 1982-01-01 | Paper |
Algorithms of structured synthesis of programs
Programming and Computer Software | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3692624 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3550135 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3588440 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3564311 (Why is no real title available?)
| 1976-01-01 | Paper |
A computational problem solver
USSR Computational Mathematics and Mathematical Physics | 1973-01-01 | Paper |
Solution of problems using computational models
USSR Computational Mathematics and Mathematical Physics | 1972-01-01 | Paper |
scientific article; zbMATH DE number 3408899 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3328732 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3345342 (Why is no real title available?)
| 1968-01-01 | Paper |
