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
- Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals + (0169-2968)
- Regulated Nondeterminism in Pushdown Automata: The Non-Regular Case + (0169-2968)
- On Descriptional Complexity of Partially Parallel Grammars + (0169-2968)
- Coordination Control of Distributed Discrete-Event Systems + (0170-8643)
- Coordination Control of Distributed Discrete-Event Systems + (0170-8643)
- Languages, Decidability, and Complexity + (0170-8643)
- Supervisory Control of Discrete-Event Systems + (0170-8643)
- Supervisory Control of Distributed Discrete-Event Systems + (0170-8643)
- Supervisory Control with Complete Observations + (0170-8643)
- Robust and Efficient Large-large Table Outer Joins on Distributed Infrastructures + (0302-9743)
- Concrete Results on Abstract Rules + (0302-9743)
- ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web + (0302-9743)
- P ≠ P: Why Some Reasoning Problems Are More Tractable Than Others + (0302-9743)
- The Not-So-Easy Task of Computing Class Subsumptions in OWL RL + (0302-9743)
- Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web + (0302-9743)
- Reasoning in Semantic Wikis + (0302-9743)
- Schema-Agnostic Query Rewriting in SPARQL 1.1 + (0302-9743)
- Supporting Lexical Ontology Learning by Relational Exploration + (0302-9743)
- Concurrent Classification of EL Ontologies + (0302-9743)
- Introducing Wikidata to the Linked Data Web + (0302-9743)
- Tempus Fugit - Towards an Ontology Update Language + (0302-9743)
- Using FCA for Encoding of Closure Operators into Neural Networks + (0302-9743)
- Conjunctive Queries for a Tractable Fragment of OWL 1.1 + (0302-9743)
- Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems + (0302-9743)
- Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks + (0302-9743)
- What Is a Reasonable Argumentation Semantics? + (0302-9743)
- Efficient Large Outer Joins over MapReduce + (0302-9743)
- Semantic Characterizations of AGM Revision for Tarskian Logics + (0302-9743)
- Generalized Ultrametric Spaces in Quantitative Domain Theory + (0304-3975)
- On a structural property in the state complexity of projected regular languages + (0304-3975)
- Left-forbidding cooperating distributed grammar systems + (0304-3975)
