N. N. Nepejvoda

Available identifiers

zbMath Open nepeivoda.nikolay-nWikidataQ4317284 ScholiaQ4317284MaRDI QIDQ174067

List of research outcomes

Publication	Date of Publication	Type
Deformalization as the immanent part of logical solving	2020-09-17	Paper
Formalization as the Immanent Part of Logical Solving	2019-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q4982103	2015-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q2856057	2013-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4914853	2013-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q3108637	2012-01-05	Paper
https://portal.mardi4nfdi.de/entity/Q3081824	2011-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q3567768	2010-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q3535120	2008-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4467740	2004-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4424648	2004-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4444894	2004-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4789041	2003-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q4789184	2003-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q2751812	2002-03-12	Paper
Logical and algorithmic formalisms for the problem of correct program design	2001-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4268407	1999-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4041013	1993-06-05	Paper
A bridge between constructive logic and computer programming	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3973194	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3349960	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3034802	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3818307	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3808064	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3757913	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4724622	1985-01-01	Paper
Semantics of algorithmic languages	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5187276	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3330479	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3338238	1983-01-01	Paper
Table approach to automatic program synthesis	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3222190	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3314967	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3664429	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3723688	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4742777	1982-01-01	Paper
Synthesis of correct programs out of correct subroutines	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3855180	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3942385	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3960849	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4174205	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3936733	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3960848	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4083404	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4071208	1974-01-01	Paper
A new concept of predicative truth and definability	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4103081	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4103086	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5680104	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5639703	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q6483349	0001-01-03	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: N. N. Nepejvoda