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] 23 Treffer
- complexity 20 Treffer
- temporal logic 15 Treffer
- decidability 14 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 11 Treffer
-
45 weitere Werte:
- 01 natural sciences 11 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 11 Treffer
- undecidability 11 Treffer
- 0102 computer and information sciences 10 Treffer
- 010201 computation theory & mathematics 10 Treffer
- 02 engineering and technology 10 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 10 Treffer
- automated deduction 9 Treffer
- rewriting 9 Treffer
- automated reasoning systems 8 Treffer
- deduction modulo theory 8 Treffer
- mathematics 8 Treffer
- modal logic 8 Treffer
- 020201 artificial intelligence & image processing 7 Treffer
- computer science::logic in computer science 7 Treffer
- discrete mathematics 7 Treffer
- pspace 7 Treffer
- theoretical computer science 7 Treffer
- expressive power 6 Treffer
- second-order logic 6 Treffer
- separation logic 6 Treffer
- computational complexity 5 Treffer
- computer science 5 Treffer
- computer science::formal languages and automata theory 5 Treffer
- counter machine 5 Treffer
- model-checking 5 Treffer
- multimodal logic 5 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 5 Treffer
- 0101 mathematics 4 Treffer
- 010102 general mathematics 4 Treffer
- computer science - logic in computer science 4 Treffer
- fos: computer and information sciences 4 Treffer
- freeze quantifier 4 Treffer
- guarded fragment 4 Treffer
- linear-time temporal logic ltl 4 Treffer
- logic in computer science (cs.lo) 4 Treffer
- minsky machine 4 Treffer
- petri net 4 Treffer
- 020207 software engineering 3 Treffer
- 16. peace & justice 3 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 3 Treffer
- arithmetical constraint 3 Treffer
- data word 3 Treffer
- decision procedure 3 Treffer
- f.4.1 3 Treffer
Verlag
Publikation
Sprache
Geographischer Bezug
38 Treffer
-
In: ISSN: 1879-2294, 2010Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2019Online academicJournalZugriff:
-
In: ICALP 2016 ; https://inria.hal.science/hal-01276119 ; ICALP 2016, Jul 2016, Rome, Italy. pp.97:1--97:15, ⟨10.4230/LIPIcs.ICALP.2016.97⟩, 2016Online KonferenzZugriff:
-
In: ISSN: 1958-5780, 2015Online academicJournalZugriff:
-
In: 14th International Conference Logic for Programming, Artificial Intelligence, and Reasoning ( LPAR 2007 ) ; https://hal.archives-ouvertes.fr/hal-03203563 ; 14th International Conference Logic for Programming, 2007Online KonferenzZugriff:
-
In: Proceedings of the 3rd Workshop on Methods for Modalities (M4M-3) ; https://hal.archives-ouvertes.fr/hal-03201443 ; Proceedings of the 3rd Workshop on Methods for Modalities (M4M-3), Carlos Areces; Patrick Blackburn, Sep 2003, Nancy, France. pp.93-108, 2003Online KonferenzZugriff:
-
In: ISSN: 0955-792X, 2011Online academicJournalZugriff:
-
In: https://hal.science/hal-03187866 ; Doctoral. Barcelona, Spain. 2015, pp.195, 2015Online unknownZugriff:
-
2011Online unknownZugriff:
-
In: 2008 21st IEEE Computer Security Foundations Symposium, 2008Online unknownZugriff:
-
In: https://hal.science/hal-03192775 ; Doctoral. Copenhagen, Denmark. 2010, pp.129, 2010Online unknownZugriff: