Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 9 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 5 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 4 Treffer
- [math.math-co]mathematics [math]/combinatorics [math.co] 4 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.7: proof theory 4 Treffer
-
23 weitere Werte:
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 3 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.3: studies of program constructs/f.3.3.4: type structure 3 Treffer
- admissibility 3 Treffer
- complexity 3 Treffer
- concurrent games 3 Treffer
- decidability 3 Treffer
- expressive power 3 Treffer
- interval temporal logic 3 Treffer
- multi-player games 3 Treffer
- randomized 3 Treffer
- separation logic 3 Treffer
- strategies 3 Treffer
- temporal logic 3 Treffer
- translation 3 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 2 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 2 Treffer
- [info]computer science [cs] 2 Treffer
- facility location 2 Treffer
- phil 2 Treffer
- planar graphs 2 Treffer
- approximation scheme 1 Treffer
- edu 1 Treffer
- hisphilso 1 Treffer
Sprache
Geographischer Bezug
Inhaltsanbieter
20 Treffer
-
In: EISSN: 1868-8969 ; Leibniz International Proceedings in Informatics ; 13th International Symposium on Parameterized and Exact Computation (IPEC 2018 ) ; https://hal.science/hal-02019803, 2019Online KonferenzZugriff:
-
In: European Symposium on Algorithms ; https://hal.science/hal-02371844 ; European Symposium on Algorithms, Sep 2019, Munich, Germany. pp.33:1--33:14, ⟨10.4230/LIPIcs.ESA.2019.33⟩, 2019Online KonferenzZugriff:
-
In: EISSN: 1868-8969 ; Leibniz International Proceedings in Informatics ; 13th International Symposium on Parameterized and Exact Computation (IPEC 2018 ) ; https://hal.science/hal-02019803, 2019Online KonferenzZugriff:
-
In: European Symposium on Algorithms ; https://hal.archives-ouvertes.fr/hal-02371844 ; European Symposium on Algorithms, Sep 2019, Munich, Germany. pp.33:1--33:14, ⟨10.4230/LIPIcs.ESA.2019.33⟩, 2019Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics (LIPIcs) ; 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland. ; https://hal.science/hal-02366656 ; 25th International Symposium on Temporal Representation and Reasoning, 2018Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics (LIPIcs) ; 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland. ; https://hal.archives-ouvertes.fr/hal-02366656 ; 25th International Symposium on Temporal Representation and Reasoning, 2018Online KonferenzZugriff:
-
In: ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming ; https://hal.science/hal-01598148 ; ICALP 2017 - 44th International Colloquium on Automata, 2017Online KonferenzZugriff:
-
In: ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming ; https://hal.science/hal-01598148 ; ICALP 2017 - 44th International Colloquium on Automata, 2017Online KonferenzZugriff:
-
In: ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming ; https://hal.archives-ouvertes.fr/hal-01598148 ; ICALP 2017 - 44th International Colloquium on Automata, 2017Online KonferenzZugriff:
-
In: FSTTCS 2015 ; https://hal.science/hal-01145598 ; FSTTCS 2015, Dec 2015, Bangalore, India ; http://www.fsttcs.org/, 2015Online KonferenzZugriff:
-
In: 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) ; https://inria.hal.science/hal-01222743 ; 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015), Jul 2015, Warsaw, Poland. pp.332--346, ⟨10.4230/LIPIcs.TLCA.2015.332⟩ ; http://rdp15.mimuw.edu.pl/index.php?site=tlca, 2015Online KonferenzZugriff:
-
In: 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) ; https://inria.hal.science/hal-01222743 ; 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015), Jul 2015, Warsaw, Poland. pp.332--346, ⟨10.4230/LIPIcs.TLCA.2015.332⟩ ; http://rdp15.mimuw.edu.pl/index.php?site=tlca, 2015Online KonferenzZugriff:
-
In: FSTTCS 2015 ; https://hal.archives-ouvertes.fr/hal-01145598 ; FSTTCS 2015, Dec 2015, Bangalore, India ; http://www.fsttcs.org/, 2015Online KonferenzZugriff:
-
In: 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) ; https://hal.inria.fr/hal-01222743 ; 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015), Jul 2015, Warsaw, Poland. pp.332--346, ⟨10.4230/LIPIcs.TLCA.2015.332⟩ ; http://rdp15.mimuw.edu.pl/index.php?site=tlca, 2015Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics (LIPIcs) ; 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland. ; https://hal.science/hal-02366656 ; 25th International Symposium on Temporal Representation and Reasoning, 2018Online KonferenzZugriff:
-
In: 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) ; https://inria.hal.science/hal-01222743 ; 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015), Jul 2015, Warsaw, Poland. pp.332--346, ⟨10.4230/LIPIcs.TLCA.2015.332⟩ ; http://rdp15.mimuw.edu.pl/index.php?site=tlca, 2015Online KonferenzZugriff:
-
In: 29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018) ; https://hal.science/hal-01900814 ; 29th International Conference on Probabilistic, 2018Online KonferenzZugriff:
-
In: 29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018) ; https://hal.science/hal-01900814 ; 29th International Conference on Probabilistic, 2018Online KonferenzZugriff:
-
In: 29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018) ; https://hal.archives-ouvertes.fr/hal-01900814 ; 29th International Conference on Probabilistic, 2018Online KonferenzZugriff:
-
In: 29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018) ; https://hal.science/hal-01900814 ; 29th International Conference on Probabilistic, 2018Online KonferenzZugriff: