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
- Succinctness and tractability of closure operator representations + (Theoretical Computer Science)
- On boolean combinations forming piecewise testable languages + (Theoretical Computer Science)
- Exact Learning of Multivalued Dependency Formulas + (Theoretical Computer Science)
- One-Variable Logic Meets Presburger Arithmetic + (Theoretical Computer Science)
- Denotational Semantics in the CPO and Metric Approach + (Theoretical Computer Science)
- Metric Completion versus Ideal Completion + (Theoretical Computer Science)
- Trees and Semantics + (Theoretical Computer Science)
- Metric semantics for true concurrent real time + (Theoretical Computer Science)
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes + (Theoretical Computer Science)
- Experiments with deterministic $ømega$-automata for formulas of linear temporal logic + (Theoretical Computer Science)
- Combination Techniques and Decision Problems for Disunification + (Theoretical Computer Science B)
- Completing the Picture: Complexity of Graded Modal Logics with Converse + (Theory and Practice of Logic Programming)
- Fuzzy Answer Sets Approximations + (Theory and Practice of Logic Programming)
- IASCAR: Incremental Answer Set Counting by Anytime Refinement + (Theory and Practice of Logic Programming)
- Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms + (Theory and Practice of Logic Programming)
- Solving Advanced Argumentation Problems with Answer Set Programming + (Theory and Practice of Logic Programming)
- Winning Snake: Design Choices in Multi-Shot ASP + (Theory and Practice of Logic Programming)
- Improved Answer-Set Programming Encodings for Abstract Argumentation + (Theory and Practice of Logic Programming (TPLP))
- Probabilistic Model Checking for Feature-oriented Systems + (Transactions on Aspect-Oriented Software Development)
- Deduktives Planen + (Wissenschaftliche Zeitschrift der TU Dresden)
- Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL + (eDITion)
- Medizinische Aus- und Weiterbildung: Mit dem Computer lernen + (interMed - Arzt & neue Medien)
