S. A. Nigiyan

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7178020 (Why is no real title available?)	2020-03-06	Paper
scientific article; zbMATH DE number 6984327 (Why is no real title available?)	2018-11-23	Paper
scientific article; zbMATH DE number 6823356 (Why is no real title available?)	2018-01-09	Paper
On canonical notion of \(\delta\)-reduction and on translation of typed \(\lambda\)-terms into untyped \(\lambda\)-terms	2017-07-24	Paper
On \(\lambda\)-definability of arithmetical functions with indeterminate values of arguments Proceedings of the Yerevan State University. Physical and Mathematical Sciences	2016-10-20	Paper
On non-classical theory of computability	2015-10-09	Paper
Semantics of untyped functional programs Programming and Computer Software	2003-09-01	Paper
On equation systems in monotonic models of typed \(\lambda\)-calculus	2002-01-24	Paper
Transformations of logic programs Programming and Computer Software	2001-04-26	Paper
The resolution method for first-order predicate logic with interpreted predicates Doklady Mathematics	2001-01-28	Paper
Horn programming with built-in predicates Programming and Computer Software	1999-01-31	Paper
Modification of the Robinson's resolution method for built-in predicates Journal of Contemporary Mathematical Analysis. Armenian Academy of Sciences	1998-03-24	Paper
On interpretation of functional programming languages Programming and Computer Software	1997-05-13	Paper
Functional languages Programming and Computer Software	1997-05-13	Paper
scientific article; zbMATH DE number 3902000 (Why is no real title available?)	1985-01-01	Paper
Reducibility to free schemes Programming and Computer Software	1980-01-01	Paper
Partial decidability of the nonequivalence of free schemata Programming and Computer Software	1979-01-01	Paper
The nonequivalence problem for schemata with memory Programming and Computer Software	1979-01-01	Paper

Research outcomes over time

This page was built for person: S. A. Nigiyan