Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 33 results in range #1 to #33.
- Computability of the Radon-Nikodym Derivative: Label: en
- On a Hierarchy of Plus-Cupping Degrees: Label: en
- Conservative Extensions of Abstract Structures: Label: en
- A New Optimum-Time Firing Squad Synchronization Algorithm for Two-Dimensional Rectangle Arrays: One-Sided Recursive Halving Based: Label: en
- Towards an Axiomatic System for Kolmogorov Complexity: Label: en
- On a Relative Computability Notion for Real Functions: Label: en
- A Fine Hierarchy of ω-Regular k-Partitions: Label: en
- Automata on Ordinals and Linear Orders: Label: en
- Current Developments on Computational Modeling Using P Systems: Label: en
- Consecutive Ones Property Testing: Cut or Swap: Label: en
- Recognizing Synchronizing Automata with Finitely Many Minimal Synchronizing Words is PSPACE-Complete: Label: en
- Quantum Information Channels in Curved Spacetime: Label: en
- Adapting Rabin’s Theorem for Differential Fields: Label: en
- Computation of Similarity—Similarity Search as Computation: Label: en
- Deciding According to the Shortest Computations: Label: en
- Multi-Resolution Cellular Automata for Real Computation: Label: en
- Nature-Based Problems in Cellular Automata: Label: en
- Computability Power of Mobility in Enhanced Mobile Membranes: Label: en
- A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0: Label: en
- Extracting Winning Strategies in Update Games: Label: en
- Randomness and the Ergodic Decomposition: Label: en
- Complexity Issues for Preorders on Finite Labeled Forests: Label: en
- Axiomatizing Resource Bounds for Measure: Label: en
- Defining Languages by Forbidding-Enforcing Systems: Label: en
- On the Kolmogorov Complexity of Continuous Real Functions: Label: en
- Cupping and Diamond Embeddings: A Unifying Approach: Label: en
- Consistency and Optimality: Label: en
- Effective Categoricity of Injection Structures: Label: en
- Splicing Systems: Accepting Versus Generating: Label: en
- Automatic Learners with Feedback Queries: Label: en
- A Computational Approach to an Alternative Working Environment for the Constructible Universe: Label: en
- Three Theorems on n-REA Degrees: Proof-Readers and Verifiers: Label: en
- Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata: Label: en