Search by property
From International Center for Computational Logic
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Combination of Constraint Solvers for Free and Quasi-Free Structures +
- Constructible differentially finite algebraic series in several variables +
- Denotational Semantics in the CPO and Metric Approach +
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes +
- Exact Learning of Multivalued Dependency Formulas +
- Experiments with deterministic $ømega$-automata for formulas of linear temporal logic +
- Generalized Metrics and Uniquely Determined Logic Programs +
- Generalized Ultrametric Spaces in Quantitative Domain Theory +
- Hypothesis Finding with Proof Theoretical Appropriateness Criteria +
- Left-forbidding cooperating distributed grammar systems +
- MELL in the Calculus of Structures +
- Metric Completion versus Ideal Completion +
- Metric semantics for true concurrent real time +
- On a structural property in the state complexity of projected regular languages +
- On boolean combinations forming piecewise testable languages +
- On the descriptional complexity of scattered context grammars +
- One-Variable Logic Meets Presburger Arithmetic +
- Succinctness and tractability of closure operator representations +
- The Complexity of Computing the Behaviour of Lattice Automata on Infinite Trees +
- Trees and Semantics +
