Entity usage

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 50 results in range #1 to #50.

GAPs for Shallow Implementation of Quantum Finite Automata: Label: en
Strictly Locally Testable and Resources Restricted Control Languages in Tree-Controlled Grammars: Label: en
Separating Words from Every Start State with Horner Automata: Label: en
A General Approach to Proving Properties of Fibonacci Representations via Automata Theory: Label: en
Once-Marking and Always-Marking 1-Limited Automata: Label: en
Solving the Weighted HOM-Problem With the Help of Unambiguity: Label: en
Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements: Label: en
State-deterministic Finite Automata with Translucent Letters and Finite Automata with Nondeterministically Translucent Letters: Label: en
Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings: Label: en
Reversible Two-Party Computations: Label: en
On Minimal Pumping Constants for Regular Languages: Label: en
Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures: Label: en
When Stars Control a Grammar's Work: Label: en
Freezing 1-Tag Systems with States: Label: en
Weighted Automata over Vector Spaces: Label: en
Approximate State Reduction of Fuzzy Finite Automata: Label: en
Duality of Lattices Associated to Left and Right Quotients: Label: en
A Construction for Variable Dimension Strong Non-Overlapping Matrices: Label: en
On the Degree of Extension of Some Models Defining Non-Regular Languages: Label: en
Operations on Boolean and Alternating Finite Automata: Label: en
Floquetifying the Colour Code: Label: en
Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation: Label: en
Generalised Winograd Schema and its Contextuality: Label: en
Moore-Penrose Dagger Categories: Label: en
The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality: Label: en
Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes: Label: en
Generators and Relations for 3-Qubit Clifford+CS Operators: Label: en
Picturing Counting Reductions with the ZH-Calculus: Label: en
Global Synthesis of CNOT Circuits with Holes: Label: en
Quantum Suplattices: Label: en
Locally Tomographic Shadows (Extended Abstract): Label: en
Light-Matter Interaction in the ZXW Calculus: Label: en
Graphical CSS Code Transformation Using ZX Calculus: Label: en
Metatickles and Death in Damascus: Label: en
Incentive Engineering for Concurrent Games: Label: en
An Acceptance Semantics for Stable Modal Knowledge: Label: en
Belief Revision from Probability: Label: en
A "Game of Like" : Online Social Network Sharing As Strategic Interaction: Label: en
System of Spheres-based Two Level Credibility-limited Revisions: Label: en
Maximizing Social Welfare in Score-Based Social Distance Games: Label: en
Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard: Label: en
Optimal Mechanism Design for Agents with DSL Strategies: The Case of Sybil Attacks in Combinatorial Auctions: Label: en
Presumptive Reasoning in a Paraconsistent Setting: Label: en
Joint Behavior and Common Belief: Label: en
On Imperfect Recall in Multi-Agent Influence Diagrams: Label: en
Causal Kripke Models: Label: en
Complete Conditional Type Structures (Extended Abstract): Label: en
Comparing the Update Expressivity of Communication Patterns and Action Models: Label: en
Characterization of AGM Belief Contraction in Terms of Conditionals: Label: en
Sequential Language-based Decisions: Label: en