scientific article; zbMATH DE number 7809184

MaRDI QIDQ6120997

No author found.

Publication date: 26 February 2024

Full work available at URL: https://www.fmi.uni-sofia.bg/en/node/9817

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computabilitymathematical logichistory of Bulgarian mathematicsdimiter skordevsubrecursive analysis

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematics in the 21st century (01A61)

Cites Work

• Embedding of iterative Post algebras in a semigroup
• On a class of bases for Boolean functions
• Some models of combinatory logic
• Conditional computability of real functions with respect to a class of operators
• On Some Computability Notions for Real Functions
• Approximation systems for functions in topological and in metric spaces
• Formula2-computable real numbers
• The Incomputable
• Some theorems on passing from local to global presence of properties of functions
• On a Relative Computability Notion for Real Functions
• Some subrecursive versions of Grzegorczyk's Uniformity Theorem
• On Van Gelder's loop detection algorithm
• A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces
• The First Recursion Theorem for Iterative Combinatory Spaces
• Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers
• Flow diagrams, turing machines and languages with only two formation rules
• Abstract First Order Computability. I
• Russian text(ignored)
• Some Aspects of Distancing
• Logical Approaches to Computational Barriers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: