Person:749524

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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: A. Tauts