Ants Tauts

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
scientific article; zbMATH DE number 2208426 (Why is no real title available?)	2005-09-27	Paper
scientific article; zbMATH DE number 1931189 (Why is no real title available?)	2002-01-01	Paper
Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order Siberian Mathematical Journal	1990-01-01	Paper
scientific article; zbMATH DE number 4154422 (Why is no real title available?)	1990-01-01	Paper
Extraction of a program from deduction and its regularity. I Cybernetics	1985-01-01	Paper
Formal deduction with transfinite induction and its transformation for easier program synthesis Cybernetics	1984-01-01	Paper
scientific article; zbMATH DE number 3891324 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3815615 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3765757 (Why is no real title available?)	1981-01-01	Paper
scientific article; zbMATH DE number 3720898 (Why is no real title available?)	1978-01-01	Paper
scientific article; zbMATH DE number 3609662 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3609663 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3550678 (Why is no real title available?)	1975-01-01	Paper
scientific article; zbMATH DE number 3554252 (Why is no real title available?)	1974-01-01	Paper
scientific article; zbMATH DE number 3563065 (Why is no real title available?)	1974-01-01	Paper
scientific article; zbMATH DE number 3501463 (Why is no real title available?)	1972-01-01	Paper
scientific article; zbMATH DE number 3501464 (Why is no real title available?)	1972-01-01	Paper
Nonregular first order predicate calculus Algebra and Logic	1970-01-01	Paper
scientific article; zbMATH DE number 3372011 (Why is no real title available?)	1970-01-01	Paper
scientific article; zbMATH DE number 3372012 (Why is no real title available?)	1970-01-01	Paper
scientific article; zbMATH DE number 3497850 (Why is no real title available?)	1968-01-01	Paper
scientific article; zbMATH DE number 3329867 (Why is no real title available?)	1967-01-01	Paper

Research outcomes over time

This page was built for person: Ants Tauts