Mixed computation in the class of recursive program schemata

QR kód

Mixed computation in the class of recursive program schemata

Elmentve itt :

Bibliográfiai részletek
Szerző:	Ershov Andrei P.
Dokumentumtípus:	Cikk
Megjelent:	1978
Sorozat:	Acta cybernetica 4 No. 1
Kulcsszavak:	Számítástechnika, Kibernetika
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/12262

Hasonló tételek

On the weak equivalence of Elgot's flow-chart schemata
Szerző: Ésik Zoltán
Megjelent: (1985)

Infinite limits and R-recursive functions
Szerző: Mycka Jerzy
Megjelent: (2003)

Type inference of simple recursive functions in Scala
Szerző: Nagy Gergely, et al.
Megjelent: (2022)

Computing equivalent affinity classes in a fuzzy connectedness framework
Szerző: Gulyás Gergely, et al.
Megjelent: (2014)

Static analysis and optimization questions of structural recursions in semistructured databases [abstract] /
Szerző: Benczúr András, et al.
Megjelent: (2004)

Computing equivalent affinity classes in a fuzzy connectedness framework
Szerző: Gulyás Gergely, et al.
Megjelent: (2014)

Computer-based intelligent educational program for teaching chemistry
Szerző: Pántya Róbert, et al.
Megjelent: (2008)

Keveréskinetikai következtetések a porkeverési adatok számítógépes feldolgozásával [Mixing kinetics derived by computer elaboration of powder mixing data]
Szerző: Kata Mihály, et al.
Megjelent: (1979)

Construction of recursive algorithms for polarity matrices calculation in polynomial logical function representation
Szerző: Janković Dragan
Megjelent: (1999)

Relationally defined clones of tree functions closed under selection or primitive recursion
Szerző: Pöschel Reinhard, et al.
Megjelent: (2004)

Construction of recursive algorithms for polarity matrices calculation in polynomial logical function representation [abstract] /
Szerző: Janković Dragan
Megjelent: (1998)

The extended analog computer and functions computable in a digital sense
Szerző: Piekarz Monika
Megjelent: (2010)

On computing the Hamming distance
Szerző: Kéri Gerzson, et al.
Megjelent: (2004)

The use of computers in nuclear medicine
Szerző: Csernay László
Megjelent: (1975)

Computing maximum valued regions
Szerző: Woeginger Gerhard J.
Megjelent: (1992)

Differentiability properties of computable functions a summary /
Szerző: Pour-El Marian B., et al.
Megjelent: (1978)

Classes of tree languages and DR tree languages given by classes of semigroups
Szerző: Gécseg Ferenc
Megjelent: (2011)

Continuous semiring-semimodule pairs and mixed algebraic systems
Szerző: Ésik Zoltán, et al.
Megjelent: (2017)

A decomposition theorem for a class of infinite transformation semigroups
Szerző: Tucci Ralph P.
Megjelent: (1989)

On a class of discrete functions
Szerző: Kovačev Dimiter Stoičkov
Megjelent: (2006)

Program
Megjelent: (2010)

A simple shading for computer displayed surfaces
Szerző: Herman Gábor T., et al.
Megjelent: (1978)

Parallel asynchronous computation of the values of an associative function
Szerző: Horváth Zoltán
Megjelent: (1995)

Conference of PhD Students in Computer Science preface /
Szerző: Ferenc Rudolf
Megjelent: (2015)

Uniform computation of complexity metrics in the .NET platform [abstract] /
Szerző: Sillye Ádám, et al.
Megjelent: (2004)

The inventory control problem for a supply chain with a mixed type of demand uncertainty
Szerző: Chausova Elena
Megjelent: (2023)

Computer simulation of the information preprocessing in the input of the cerebellar cortex
Szerző: Pellionisz András
Megjelent: (1972)

Probability model for non-homogeneous multiprogramming computer system
Szerző: Sztrik János
Megjelent: (1983)

Improved greedy algorithm for computing approximate median strings
Szerző: Kruzslicz Ferenc
Megjelent: (1999)

Using genetic algorithms in computer vision registering images to 3D surface model /
Szerző: Jankó Zsolt, et al.
Megjelent: (2007)

On the computation of union-extensions of finite semigroups
Szerző: Bröck R., et al.
Megjelent: (1973)

Computer-Aided Forensic Authorship Identification in Criminology
Szerző: Kicsi András, et al.
Megjelent: (2022)

Modeling Dew Computing in DISSECT-CF-Fog
Szerző: Márkus András, et al.
Megjelent: (2022)

Creation of the tasks of the cognitive computer aided therapy software [abstract] /
Szerző: Szabó Julianna, et al.
Megjelent: (2004)

Towards a unified model of computation with correctness proofs [abstract] /
Szerző: Erdélyi Gáspár
Megjelent: (2006)

Programming by steps
Szerző: Scărlătescu Raluca Oana
Megjelent: (2003)

Preliminary program
Megjelent: (2004)

Detailed program
Megjelent: (2006)

Preliminary program
Megjelent: (2006)

Detailed program
Megjelent: (2008)