Albert G. Dragalin

Available identifiers

zbMath Open dragalin.albert-gWikidataQ16942884 ScholiaQ16942884MaRDI QIDQ1896753

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3418695	2007-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q2770672	2002-02-13	Paper
Explicit algebraic models for constructive and classical theories with non-standard elements	1999-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4386982	1998-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q4371039	1998-04-15	Paper
Completeness and cut-elimination theorems for high-order classical logic. Constructive method	1996-01-03	Paper
https://portal.mardi4nfdi.de/entity/Q4293477	1995-01-03	Paper
https://portal.mardi4nfdi.de/entity/Q4039813	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4733440	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3809303	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3475264	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3481700	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3775557	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3762290	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3792682	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3741624	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3718677	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3718676	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3315509	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3937386	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3855174	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3863884	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3880841	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3936731	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3941403	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4053587	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4060949	1974-01-01	Paper
ANDREI ANDREEVICH MARKOV (on his seventieth birthday)	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4101792	1974-01-01	Paper
On the use of classical calculi for establishing constructive truth	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5183472	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5646884	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5656770	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5605219	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5611767	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5566519	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5566520	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5598344	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5604467	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5585412	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5602106	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: Albert G. Dragalin