A. A. Kuzichev

Available identifiers

zbMath Open kuzichev.andrey-aMaRDI QIDQ1069921

List of research outcomes

Publication	Date of Publication	Type
Translations of Logical Formulas and the Equiconsistency Problem	1994-09-08	Paper
ELIMINATION OF QUANTIFIERS OVER VECTORS IN SOME THEORIES OF VECTOR SPACES	1994-08-28	Paper
THE AMBIGUOUS TYPE THEORY IS HEREDITARILY UNDECIDABLE	1994-06-08	Paper
Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation	1993-04-01	Paper
A Theory of Ambiguous Types and Its Axiomatizations	1989-01-01	Paper
A conservative extension of a formal arithmetic	1988-01-01	Paper
Addition of noncombinatorial relations to the lambda calculus	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3714052	1984-01-01	Paper
Permissibility of a cut in combinatorily complete systems with equality	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3889023	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3898467	1980-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. A. Kuzichev