Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info]computer science [cs] 42 Treffer
- complexity 29 Treffer
- expressive power 23 Treffer
- separating conjunction 23 Treffer
- magic wand 21 Treffer
-
45 weitere Werte:
- undecidability 19 Treffer
- modal logic 18 Treffer
- quantifier elimination 11 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 9 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 9 Treffer
- decidability 8 Treffer
- list segment predicate 8 Treffer
- reduction axiom 8 Treffer
- phil 7 Treffer
- pspace 7 Treffer
- small model property 7 Treffer
- test formula 7 Treffer
- computational complexity 6 Treffer
- core formula 6 Treffer
- hoare logic 6 Treffer
- modal separation logic 6 Treffer
- model-checking 6 Treffer
- satisfiability 6 Treffer
- temporal logic 6 Treffer
- acm: d.: software 5 Treffer
- entailment 5 Treffer
- first-order logic 5 Treffer
- interval temporal logic 5 Treffer
- permission 5 Treffer
- second-order logic 5 Treffer
- axiomatisation 4 Treffer
- difference operator 4 Treffer
- model checking 4 Treffer
- arithmetical constraint 3 Treffer
- completeness 3 Treffer
- composition operator 3 Treffer
- decision procedure 3 Treffer
- formal methods 3 Treffer
- fragment 3 Treffer
- minsky machine 3 Treffer
- pointer 3 Treffer
- reasoning modulo theories 3 Treffer
- smt 3 Treffer
- translation 3 Treffer
- anthro-se 2 Treffer
- bunched implications logic bi 2 Treffer
- complexite 2 Treffer
- decidabilite 2 Treffer
- decision procedures 2 Treffer
- description logic 2 Treffer
Verlag
Publikation
- issn: 0955-792x 6 Treffer
- issn: 1529-3785 6 Treffer
- issn: 1432-4350 4 Treffer
- 37th iarcs foundation on software technology and theoretical computer science ; https://amu.hal.science/hal-01788798 ; 37th iarcs foundation on software technology and theoretical computer science, dec 2017, kanpur, india. ⟨10.4230/lipics.fsttcs.2017.25⟩ 3 Treffer
- issn: 1879-2294 2 Treffer
- 2 weitere Werte:
Sprache
Geographischer Bezug
57 Treffer
-
In: 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'18) ; 22nd International Conference on Foundations of Software Science and Computation Structures FOSSACS ; https://hal.archives-ouvertes.fr/hal-01920563 ; 22nd International Conference on Foundations of Software Science and Computation Structures FOSSACS, 2018, Thessaloniki, Greece, 2018Online KonferenzZugriff:
-
In: IJCAI'20: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence ;, 2021Online KonferenzZugriff:
-
In: 35th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.science/hal-03005865 ; 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbruecken, Germany. ⟨10.1145/3373718.3394787⟩, 2020Online KonferenzZugriff:
-
In: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). ; Computer Science Logic ; https://hal.science/hal-02883558 ; Computer Science Logic, Jan 2020, Barcelona, Spain. ⟨10.4230/LIPIcs.CSL.2020.19⟩, 2020Online KonferenzZugriff:
-
In: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). ; Computer Science Logic ; https://hal.science/hal-02883558 ; Computer Science Logic, Jan 2020, Barcelona, Spain. ⟨10.4230/LIPIcs.CSL.2020.19⟩, 2020Online KonferenzZugriff:
-
In: Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 ; https://hal.archives-ouvertes.fr/hal-03005848 ; Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020Online KonferenzZugriff:
-
In: 35th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.archives-ouvertes.fr/hal-03005865 ; 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbruecken, Germany. ⟨10.1145/3373718.3394787⟩, 2020Online KonferenzZugriff:
-
In: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). ; Computer Science Logic ; https://hal.archives-ouvertes.fr/hal-02883558 ; Computer Science Logic, Jan 2020, Barcelona, Spain. ⟨10.4230/LIPIcs.CSL.2020.19⟩, 2020Online KonferenzZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-03005864 ; Logical Methods in Computer Science, 2021, 17 (3), pp.17:1--17:64. ⟨10.46298/lmcs-17(3:17)2021⟩, 2021Online academicJournalZugriff:
-
In: ISSN: 0955-792X, 2021Online academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-03005864 ; Logical Methods in Computer Science, 2021, 17 (3), pp.17:1--17:64. ⟨10.46298/lmcs-17(3:17)2021⟩, 2021Online academicJournalZugriff:
-
In: ISSN: 0955-792X, 2021Online academicJournalZugriff:
-
In: 16th European Conference on Logics in Artificial Intelligence (JELIA'19) ; https://hal.science/hal-02362648 ; 16th European Conference on Logics in Artificial Intelligence (JELIA'19), May 2019, Rende, Italy. ⟨10.1007/978-3-030-19570-0_45⟩, 2019Online KonferenzZugriff:
-
In: 16th European Conference on Logics in Artificial Intelligence (JELIA'19) ; https://hal.archives-ouvertes.fr/hal-02362648 ; 16th European Conference on Logics in Artificial Intelligence (JELIA'19), May 2019, Rende, Italy. ⟨10.1007/978-3-030-19570-0_45⟩, 2019Online KonferenzZugriff:
-
In: 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'18) ; 22nd International Conference on Foundations of Software Science and Computation Structures FOSSACS ; https://hal.science/hal-01920563 ; 22nd International Conference on Foundations of Software Science and Computation Structures FOSSACS, 2018, Thessaloniki, Greece, 2018Online KonferenzZugriff:
-
In: Advances in Modal Logic, Bern, 2018 ; https://hal.science/hal-02366671 ; Advances in Modal Logic, 2018Online 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: 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'18) ; 22nd International Conference on Foundations of Software Science and Computation Structures FOSSACS ; https://hal.science/hal-01920563 ; 22nd International Conference on Foundations of Software Science and Computation Structures FOSSACS, 2018, Thessaloniki, Greece, 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: Advances in Modal Logic, Bern, 2018 ; https://hal.archives-ouvertes.fr/hal-02366671 ; Advances in Modal Logic, 2018Online KonferenzZugriff: