Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info]computer science [cs] 22 Treffer
- complexity 14 Treffer
- counter machine 12 Treffer
- model-checking 12 Treffer
- decidability 11 Treffer
-
45 weitere Werte:
- reachability problem 10 Treffer
- linear-time temporal logic ltl 8 Treffer
- pspace 8 Treffer
- temporal logic 8 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 7 Treffer
- buchi automaton 6 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 6 Treffer
- undecidability 6 Treffer
- logic 5 Treffer
- vector addition system 5 Treffer
- 01 natural sciences 4 Treffer
- 0102 computer and information sciences 4 Treffer
- 010201 computation theory & mathematics 4 Treffer
- formal 4 Treffer
- formal verification 4 Treffer
- mathematics 4 Treffer
- semilinear set 4 Treffer
- 02 engineering and technology 3 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 3 Treffer
- 020201 artificial intelligence & image processing 3 Treffer
- arithmetical constraint 3 Treffer
- computer science::formal languages and automata theory 3 Treffer
- computer science::logic in computer science 3 Treffer
- discrete mathematics 3 Treffer
- expressive power 3 Treffer
- petri net 3 Treffer
- quantifier elimination 3 Treffer
- undecidable problem 3 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 2 Treffer
- 0101 mathematics 2 Treffer
- 010102 general mathematics 2 Treffer
- algorithm 2 Treffer
- atomic formula 2 Treffer
- combinatorics 2 Treffer
- computer science 2 Treffer
- concrete domain 2 Treffer
- context-free language 2 Treffer
- covering problem 2 Treffer
- equivalence problem 2 Treffer
- first-order logic 2 Treffer
- freeze quantifier 2 Treffer
- linear logic 2 Treffer
- modal logic 2 Treffer
- model checking 2 Treffer
- natural number 2 Treffer
Verlag
Sprache
Geographischer Bezug
17 Treffer
-
In: Models and Analysis in Distributed Systems ; https://hal.science/hal-01288079 ; Models and Analysis in Distributed Systems, Wiley, pp.221-269, 2011, 9781848213142; (2011)Online BuchZugriff:
-
In: FSTTCS 2018 - 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science ; https://hal.science/hal-01848554 ; FSTTCS 2018 - 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2018, Ahmedabad, India. pp.31:1-31:14, ⟨10.4230/LIPIcs.FSTTCS.2018.31⟩, 2018Online KonferenzZugriff:
-
2011Online unknownZugriff:
-
In: 9th Workshop on Advances in Modal Logics (AiML'12) ; https://hal.archives-ouvertes.fr/hal-03194913 ; 9th Workshop on Advances in Modal Logics (AiML'12), Thomas Bolander; Torben Brauner; Silvio Ghilardi; Lawrence Moss, Aug 2012, Copenhagen, Denmark. pp.161-182 ; http://hylocore.ruc.dk/aiml2012/, 2012Online KonferenzZugriff:
-
In: 14th International Symposium on Temporal Representation and Reasoning (TIME'07) ; https://hal.archives-ouvertes.fr/hal-03201477 ; 14th International Symposium on Temporal Representation and Reasoning (TIME'07), Jun 2007, Alicante, Spain. pp.94-104, ⟨10.1109/TIME.2007.63⟩ ; http://gplsi.dlsi.ua.es/congresos/time07/, 2007Online KonferenzZugriff:
-
In: ATVA 2006 - 4th International Symposium on Automated Technology for Verification and Analysis ; https://hal.archives-ouvertes.fr/hal-03203578 ; ATVA 2006 - 4th International Symposium on Automated Technology for Verification and Analysis, Susanne Graf; Wenhui Zhang, Oct 2006, Beijing, China. pp.493-507, ⟨10.1007/11901914_36⟩ ; https://link.springer.com/book/10.1007/11901914, 2006Online KonferenzZugriff:
-
In: CONCUR 2005 - 16th International Conference on Concurrency Theory ; https://hal.archives-ouvertes.fr/hal-03203570 ; CONCUR 2005 - 16th International Conference on Concurrency Theory, Martín Abadi; Luca de Alfaro, Aug 2005, San Francisco, United States. pp.518-532, ⟨10.1007/11539452_39⟩ ; https://link.springer.com/book/10.1007/11539452, 2005Online KonferenzZugriff:
-
In: International Conference on Foundations of Software Science and Computation Structures ; 7th International Conference, FOSSACS 2004 (International Conference on Foundations of Software Science and Computation Structures) ; https://hal.archives-ouvertes.fr/hal-03200958, 2004Online KonferenzZugriff:
-
In: ISSN: 1879-2294, 2008Online academicJournalZugriff:
-
In: ISSN: 1879-2294, 2006Online academicJournalZugriff:
-
In: https://hal.science/hal-03188114 ; Master. Paris, France. 2016, pp.44, 2016Online unknownZugriff:
-
In: https://hal.science/hal-03192775 ; Doctoral. Copenhagen, Denmark. 2010, pp.129, 2010Online unknownZugriff:
-
2006Online unknownZugriff: