S. A. Nigiyan

Available identifiers

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
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	2016-10-20	Paper
On non-classical theory of computability	2015-10-09	Paper
Semantics of untyped functional programs	2003-09-01	Paper
On equation systems in monotonic models of typed \(\lambda\)-calculus	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

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