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
- "Most of" leads to undecidability: Failure of adding frequencies to LTL + ("Most of" leads to undecidability: Failure of adding frequencies to LTL)
- Advanced Topics in Complexity Theory + ( #SAT_D ∈ IP )
- Finite and algorithmic model theory (22/23) + ((Canceled due to sickness))
- Academic Skills in Computer Science + ((Cancelled))
- Database Theory + ((Cancelled))
- Database Theory + ((Cancelled))
- (Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ + ((Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ)
- Complexity Theory + ((no lecture))
- Complexity Theory + ((probably no lecture; maybe exercise session))
- Complexity Theory + (---)
- Concurrency Theory + (---)
- Knowledge Graphs + (0. Introduction to Python)
- Knowledge Graphs + (0. Introduction to Python)
- Knowledge Graphs + (0. Introduction to Python)
- Knowledge Graphs + (0. Introduction to Python)
- Formale Systeme + (1. Begrüßung und Einleitung)
- Theoretische Informatik und Logik + (1. Einleitung und Motivation)
- Formale Systeme + (1. Formale Sprachen)
- Knowledge Graphs + (1. Getting to Know Graphs)
- Knowledge Graphs + (1. Getting to Know Graphs and RDF)
- Knowledge Graphs + (1. Getting to Know Graphs and the Resource Description Framework)
- Knowledge Graphs + (1. Getting to Know Graphs and the Resource Description Framework)
- Knowledge Graphs + (1. Getting to Know Graphs and the Resource Description Framework)
- Knowledge Graphs + (1. Getting to Know Graphs and the Resource Description Framework)
- Knowledge Graphs + (1. Getting to Know Graphs and the Resource Description Framework)
- Knowledge Graphs + (1. Introduction and Welcome)
- Knowledge Graphs + (1. Introduction and Welcome)
- Knowledge Graphs + (1. Introduction and Welcome)
- Knowledge Graphs + (1. Introduction and Welcome)
- Knowledge Graphs + (1. Introduction and Welcome)
- Theoretische Informatik und Logik + (1. Konsultation)
- Database Theory + (1. Relational Algebra)
- Database Theory + (1. Relational Algebra)
- Formale Systeme + (1. Vorlesung: Formale Sprachen)
- Theoretische Informatik und Logik + (1. Vorlesung: Willkommen/Einleitung/Übersicht)
- Formale Systeme + (1. Übungsblatt)
- Theoretische Informatik und Logik + (1. Übungsblatt)
- Formale Systeme + (1. Übungsblatt)
- Theoretische Informatik und Logik + (1. Übungsblatt)
- Formale Systeme + (1. Übungsblatt)
- Knowledge Graphs + (10. Cypher)
- Knowledge Graphs + (10. Cypher)
- Knowledge Graphs + (10. Cypher)
- Knowledge Graphs + (10. Cypher)
- Knowledge Graphs + (10. Cypher)
- Knowledge Graphs + (10. Cypher)
- Database Theory + (10. Datalog Evaluation)
- Database Theory + (10. Datalog Evaluation)
- Knowledge Graphs + (10. Datalog in Practice)
- Formale Systeme + (10. Grenzen regulärer Sprachen / Probleme für Automaten)
