Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- complexity 14 Treffer
- verification 14 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.3: formal languages/f.4.3.3: decision problems 12 Treffer
- acm: f.: theory of computation/f.1: computation by abstract devices/f.1.1: models of computation 10 Treffer
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity/f.2.2: nonnumerical algorithms and problems 8 Treffer
-
45 weitere Werte:
- diagnosability 8 Treffer
- opacity 8 Treffer
- petri net 8 Treffer
- petri nets 8 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.3: formal methods 7 Treffer
- fast-growing complexity 7 Treffer
- reachability 7 Treffer
- 01 natural sciences 6 Treffer
- 0102 computer and information sciences 6 Treffer
- 010201 computation theory & mathematics 6 Treffer
- 02 engineering and technology 6 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 6 Treffer
- vector addition system 6 Treffer
- well-quasi-order 6 Treffer
- acceleration 5 Treffer
- computer science 5 Treffer
- computer science - logic in computer science 5 Treffer
- fos: computer and information sciences 5 Treffer
- logic in computer science (cs.lo) 5 Treffer
- model checking 5 Treffer
- model-checking 5 Treffer
- [info.info-cc]computer science [cs]/computational complexity [cs.cc] 4 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 4 Treffer
- [info]computer science [cs] 4 Treffer
- [scco.comp]cognitive science/computer science 4 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 4 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.1: computational logic 4 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.10: temporal logic 4 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.5: modal logic 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
- counters 4 Treffer
- fifo 4 Treffer
- ideal 4 Treffer
- infinite state systems 4 Treffer
- satisfiability 4 Treffer
- software verification 4 Treffer
- term rewriting 4 Treffer
- termination 4 Treffer
- theoretical computer science 4 Treffer
- tree automata 4 Treffer
- well quasi order 4 Treffer
- xpath 4 Treffer
- 020201 artificial intelligence & image processing 3 Treffer
- 020207 software engineering 3 Treffer
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity 3 Treffer
Verlag
Publikation
Sprache
Geographischer Bezug
20 Treffer
-
In: 38th ACM Symposium on Principles of Database Systems (PODS'19) ; https://inria.hal.science/hal-01852475 ; 38th ACM Symposium on Principles of Database Systems (PODS'19), Jun 2019, Amsterdam, Netherlands. ⟨10.1145/3294052.3319685⟩, 2019Online KonferenzZugriff:
-
In: CONCUR 2019 ; https://hal.archives-ouvertes.fr/hal-02267453 ; CONCUR 2019, Aug 2019, AMSTERDAM, Netherlands, 2019Online KonferenzZugriff:
-
In: Petri nets 2017 - 38th International Conference on Applications and Theory of Petri Nets and Concurrency ; https://inria.hal.science/hal-01484476 ; Petri nets 2017 - 38th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2017, Zaragoza, Spain. pp.200--220, ⟨10.1007/978-3-319-57861-3_13⟩, 2017Online KonferenzZugriff:
-
In: ISSN: 0169-2968, 2018Online academicJournalZugriff:
-
In: RP 2015 - 9th International Workshop on Reachability Problems ; https://inria.hal.science/hal-01176755 ; RP 2015 - 9th International Workshop on Reachability Problems, Sep 2015, Warsaw, Poland. pp.1--13, ⟨10.1007/978-3-319-24537-9_8⟩, 2015Online KonferenzZugriff:
-
In: ISSN: 2372-3491 ; ACM SIGLOG News ; https://hal.inria.fr/hal-01275972, 2016Online academicJournalZugriff:
-
In: ISSN: 1972-5787 ; Journal of Formalized Reasoning ; https://inria.hal.science/hal-01102709 ; Journal of Formalized Reasoning, 2014, Special Issue: User Tutorials 2, 2014Online academicJournalZugriff:
-
In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) ; https://hal.science/hal-01736704 ; 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Dec 2017, Kanpur, India. ⟨10.4230/LIPIcs.FSTTCS.2017.16⟩ ; http://fsttcs.org/archives/2017/, 2017KonferenzZugriff:
-
In: https://inria.hal.science/inria-00408162 ; [Research Report] RR-7007, INRIA. 2009, pp.39, 2009Online reportZugriff:
-
In: STACS 2016 - 33rd Symposium on Theoretical Aspects of Computer Science ; https://inria.hal.science/hal-01275991, 2016KonferenzZugriff:
-
In: https://theses.hal.science/tel-01663266 ; Logic in Computer Science [cs.LO]. École normale supérieure Paris-Saclay, 2017, 2017Online HochschulschriftZugriff:
-
In: ISSN: 1879-2294, 2016academicJournalZugriff:
-
In: 8th International Workshop on Reachability Problems ; https://hal.inria.fr/hal-01076701 ; 8th International Workshop on Reachability Problems, Sep 2014, Oxford, United Kingdom. pp.1--19, ⟨10.1007/978-3-319-11439-2_1⟩, 2014KonferenzZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science, 2014academicJournalZugriff:
-
2013Online unknownZugriff: