A. Tauts

Available identifiers

zbMath Open tauts.antsMaRDI QIDQ749524

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5691735	2005-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4706144	2002-01-01	Paper
Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3483268	1990-01-01	Paper
Extraction of a program from deduction and its regularity. I	1985-01-01	Paper
Formal deduction with transfinite induction and its transformation for easier program synthesis	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3347853	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3663270	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3947645	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3910514	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4175555	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4175556	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4124815	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4128783	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4135497	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4082757	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4082758	1972-01-01	Paper
Nonregular first order predicate calculus	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5643950	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5643951	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4079571	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5607959	1967-01-01	Paper

Research outcomes over time

This page was built for person: A. Tauts