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 13 results in range #51 to #63.
- The Target Discounted-Sum Problem: Label: en
- Timed Pushdown Automata Revisited: Label: en
- Nested Weighted Automata: Label: en
- Automata-Based Abstraction Refinement for µHORS Model Checking: Label: en
- A Canonical Form for Weighted Automata and Applications to Approximate Minimization: Label: en
- Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth: Label: en
- Characterising Choiceless Polynomial Time with First-Order Interpretations: Label: en
- On the Complexity of Linear Arithmetic with Divisibility: Label: en
- A Note on the Complexity of Classical and Intuitionistic Proofs: Label: en
- On the Complexity of Temporal Equilibrium Logic: Label: en
- Metric reasoning about λ-terms: The affine case: Label: en
- Entailment among Probabilistic Implications: Label: en
- How Good Is a Strategy in a Game with Nature?: Label: en