S. A. Nigiyan

Available identifiers

zbMath Open nigiyan.semyon-aMaRDI QIDQ174224

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5219128	2020-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4556181	2018-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4602236	2018-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q5283606	2017-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q2827607	2016-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q2951118	2015-10-09	Paper
Semantics of untyped functional programs	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q2765372	2002-01-24	Paper
Transformations of logic programs	2001-04-26	Paper
The resolution method for first-order predicate logic with interpreted predicates	2001-01-28	Paper
Horn programming with built-in predicates	1999-01-31	Paper
Modification of the Robinson's resolution method for built-in predicates	1998-03-24	Paper
On interpretation of functional programming languages	1997-05-13	Paper
Functional languages	1997-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q3680243	1985-01-01	Paper
Reducibility to free schemes	1980-01-01	Paper
Partial decidability of the nonequivalence of free schemata	1979-01-01	Paper
The nonequivalence problem for schemata with memory	1979-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: S. A. Nigiyan