Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- 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 +
