I. L. Bratchikov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A formal grammatical model of the resolution method for the propositional calculus Vestnik St. Petersburg University. Mathematics	2004-02-26	Paper
scientific article; zbMATH DE number 1006851 (Why is no real title available?)	1998-12-08	Paper
scientific article; zbMATH DE number 1023195 (Why is no real title available?)	1996-01-01	Paper
scientific article; zbMATH DE number 2239 (Why is no real title available?)	1992-06-25	Paper
scientific article; zbMATH DE number 3854397 (Why is no real title available?)	1984-01-01	Paper
The formalization of some context conditions of programming languages USSR Computational Mathematics and Mathematical Physics	1975-01-01	Paper
scientific article; zbMATH DE number 3464803 (Why is no real title available?)	1974-01-01	Paper
scientific article; zbMATH DE number 3524700 (Why is no real title available?)	1974-01-01	Paper
scientific article; zbMATH DE number 3470301 (Why is no real title available?)	1973-01-01	Paper
scientific article; zbMATH DE number 3207639 (Why is no real title available?)	1963-01-01	Paper

Research outcomes over time

This page was built for person: I. L. Bratchikov