Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 13 Treffer
- [info.info-cc]computer science [cs]/computational complexity [cs.cc] 8 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 8 Treffer
- [info.info-dc]computer science [cs]/distributed 4 Treffer
- and cluster computing [cs.dc] 4 Treffer
-
43 weitere Werte:
- asynchronous communications 4 Treffer
- cellular automata 4 Treffer
- circuits 4 Treffer
- distributed system 4 Treffer
- parallel 4 Treffer
- verification 4 Treffer
- [info.info-bi]computer science [cs]/bioinformatics [q-bio.qm] 3 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 3 Treffer
- choreographies 3 Treffer
- distributed systems 3 Treffer
- message-passing 3 Treffer
- treewidth 3 Treffer
- acm: f.: theory of computation/f.1: computation by abstract devices/f.1.1: models of computation/f.1.1.5: unbounded-action devices (e.g. 2 Treffer
- angluin-style learning 2 Treffer
- data words 2 Treffer
- freshness 2 Treffer
- lang 2 Treffer
- networks of machines) 2 Treffer
- register automata 2 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 1 Treffer
- [info]computer science [cs] 1 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 1 Treffer
- complexity 1 Treffer
- expressiveness 1 Treffer
- exptime 1 Treffer
- finite-state automaton 1 Treffer
- first-order logic 1 Treffer
- fo2 1 Treffer
- geo 1 Treffer
- guarded fragment 1 Treffer
- higher-order logic 1 Treffer
- intuitionistic logic 1 Treffer
- markov chain 1 Treffer
- modal logic 1 Treffer
- nominal tense logic 1 Treffer
- phil 1 Treffer
- predicate subtyping 1 Treffer
- proof theory 1 Treffer
- propositional dynamic logic pdl 1 Treffer
- regular language 1 Treffer
- timed automata 1 Treffer
- translation 1 Treffer
- type theory 1 Treffer
Sprache
30 Treffer
-
In: https://hal.science/hal-01864693 ; [Research Report] Univ. Bordeaux, 2020Online reportZugriff:
-
In: https://hal.science/hal-01864693 ; [Research Report] Univ. Bordeaux, 2020Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-01864693 ; [Research Report] Univ. Bordeaux, 2020Online reportZugriff:
-
In: https://inria.hal.science/hal-02306021 ; [Research Report] Inria Saclay Ile de France; LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, 2019Online reportZugriff:
-
In: https://hal.science/hal-04182953 ; Inria. 2023, 2023Online reportZugriff:
-
In: https://hal.science/hal-04182953 ; 2023, 2023Online reportZugriff:
-
In: https://hal.science/hal-04182953 ; 2023, 2023Online reportZugriff:
-
In: https://inria.hal.science/hal-01977585 ; 2019, 2019Online reportZugriff:
-
In: https://hal.inria.fr/hal-02383546 ; 2019, 2019Online reportZugriff:
-
In: https://hal.science/hal-01474722 ; 2018, 2018Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-01474722 ; 2018, 2018Online reportZugriff:
-
In: https://hal.science/hal-01474722 ; 2018, 2018Online reportZugriff:
-
In: https://hal.science/hal-00743240 ; 2012, 2012Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-00743240 ; 2012, 2012Online reportZugriff:
-
In: https://hal.science/hal-01615275 ; 2017, 2017reportZugriff:
-
In: https://hal.science/hal-01615275 ; 2017, 2017reportZugriff:
-
In: https://hal.science/hal-01615275 ; 2017, 2017reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-01615275 ; 2017, 2017reportZugriff:
-
In: https://hal.science/hal-01410169 ; [Research Report] ArXiv. 2016, 2016reportZugriff: