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 43 results in range #51 to #93.

2D Subquadratic Separable Distance Transformation for Path-Based Norms: Label: en
Completions and Simple Homotopy: Label: en
Isthmus-Based Parallel and Asymmetric 3D Thinning Algorithms: Label: en
2D Topological Map Isomorphism for Multi-Label Simple Transformation Definition: Label: en
Binary Pictures with Excluded Patterns: Label: en
About the Maximum Cardinality of the Digital Cover of a Curve with a Given Length: Label: en
Facet Connectedness of Discrete Hyperplanes with Zero Intercept: The General Case: Label: en
The Inhabitation Problem for Non-idempotent Intersection Types: Label: en
Looking at Separation Algebras with Boolean BI-eyes: Label: en
Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata: Label: en
Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics: Label: en
Towards a Coalgebraic Chomsky Hierarchy: Label: en
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic: Label: en
Primal Infon Logic with Conjunctions as Sets: Label: en
Specifying and Verifying Properties of Space: Label: en
Parametric LTL on Markov Chains: Label: en
Tropical Two-Way Automata: Label: en
Termination Analysis for Graph Transformation Systems: Label: en
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus: Label: en
Not All Multi-Valued Partial CFL Functions Are Refined by Single-Valued Functions (Extended Abstract): Label: en
Fast Nondeterministic Matrix Multiplication via Derandomization of Freivalds’ Algorithm: Label: en
Subshifts, MSO Logic, and Collapsing Hierarchies: Label: en
Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions: Label: en
Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic: Label: en
Treewidth Computation and Kernelization in the Parallel External Memory Model: Label: en
The Lazy Matroid Problem: Label: en
Online Scheduling of Unit Length Jobs with Commitment and Penalties: Label: en
The Shortest Path Game: Complexity and Algorithms: Label: en
On Partial Vertex Cover and Budgeted Maximum Coverage Problems in Bipartite Graphs: Label: en
Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults: Label: en
Algebraic–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models: Label: en
Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra: Label: en
Canonical Nondeterministic Automata: Label: en
Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions: Label: en
Categories of Coalgebras with Monadic Homomorphisms: Label: en
Dijkstra Monads in Monadic Computation: Label: en
Coalgebraic Simulations and Congruences: Label: en
A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics: Label: en
On Coalgebras with Internal Moves: Label: en
How to Kill Epsilons with a Dagger: Label: en
Coalgebraic Multigames: Label: en
Generic Weakest Precondition Semantics from Monads Enriched with Order: Label: en
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract): Label: en