Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 277 Treffer
- [info]computer science [cs] 266 Treffer
- 01 natural sciences 217 Treffer
- 0102 computer and information sciences 208 Treffer
- 010201 computation theory & mathematics 208 Treffer
-
45 weitere Werte:
- 02 engineering and technology 194 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 190 Treffer
- complexity 190 Treffer
- theoretical computer science 140 Treffer
- computer science 138 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 135 Treffer
- 020201 artificial intelligence & image processing 133 Treffer
- mathematics 130 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 102 Treffer
- decidability 99 Treffer
- computer science::logic in computer science 97 Treffer
- discrete mathematics 97 Treffer
- temporal logic 95 Treffer
- modal logic 84 Treffer
- model-checking 80 Treffer
- separation logic 71 Treffer
- computer science - logic in computer science 69 Treffer
- fos: computer and information sciences 69 Treffer
- computer science::formal languages and automata theory 65 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 64 Treffer
- 0101 mathematics 63 Treffer
- 16. peace & justice 63 Treffer
- logic in computer science (cs.lo) 63 Treffer
- 010102 general mathematics 62 Treffer
- model checking 61 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 61 Treffer
- presburger arithmetic 56 Treffer
- 020207 software engineering 53 Treffer
- reachability 50 Treffer
- [info.info-ma]computer science [cs]/multiagent systems [cs.ma] 47 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 47 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 46 Treffer
- computingmilieux_miscellaneous 46 Treffer
- undecidability 45 Treffer
- pspace 44 Treffer
- logic 42 Treffer
- rewriting 41 Treffer
- satisfiability 41 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 39 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 38 Treffer
- first-order logic 38 Treffer
- general computer science 38 Treffer
- counter machine 37 Treffer
- expressive power 37 Treffer
- linear-time temporal logic ltl 36 Treffer
Verlag
- hal ccsd 1.195 Treffer
- springer 135 Treffer
- elsevier 80 Treffer
- springer verlag 55 Treffer
- ieee 33 Treffer
-
45 weitere Werte:
- logical methods in computer science association 28 Treffer
- springer berlin heidelberg 27 Treffer
- oxford university press (oup) 22 Treffer
- association for computing machinery 19 Treffer
- acm 17 Treffer
- springer-verlag 16 Treffer
- ieee computer society press 14 Treffer
- elsevier bv 13 Treffer
- schloss dagstuhl--leibniz-zentrum fuer informatik 12 Treffer
- springer international publishing 10 Treffer
- arxiv 9 Treffer
- cambridge university press (cup) 9 Treffer
- eptcs 9 Treffer
- polskie towarzystwo matematyczne 9 Treffer
- college publications 8 Treffer
- ieee press 7 Treffer
- acm press 5 Treffer
- elsevier science publishers 5 Treffer
- episciences.org 5 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 5 Treffer
- cambridge university press 4 Treffer
- dagstuhl publishing 4 Treffer
- elsevier inc. 4 Treffer
- nature publishing group 4 Treffer
- oxford university press (uk) 4 Treffer
- world scientific 4 Treffer
- hermes 3 Treffer
- leibniz international proceedings in informatics (lipics) 3 Treffer
- open publishing association 3 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 3 Treffer
- springer berlin / heidelberg 3 Treffer
- springer science and business media llc 3 Treffer
- acm sigplan 2 Treffer
- alma mater studiorum - university of bologna 2 Treffer
- association for symbolic logic 2 Treffer
- leibniz international proceedings in informatics 2 Treffer
- old city publishing 2 Treffer
- association for computing machinery (acm) 1 Treffer
- association for the advancement of artificial intelligence (aaai) 1 Treffer
- centre pour la communication scientifique directe (ccsd) 1 Treffer
- international joint conferences on artificial intelligence 1 Treffer
- international joint conferences on artificial intelligence organization 1 Treffer
- ist austria 1 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 1 Treffer
- springer us 1 Treffer
Publikation
- issn: 1879-2294 28 Treffer
- issn: 0890-5401 22 Treffer
- issn: 0955-792x 20 Treffer
- issn: 1529-3785 17 Treffer
- issn: 0168-7433 11 Treffer
-
45 weitere Werte:
- information and computation 8 Treffer
- issn: 0934-5043 8 Treffer
- issn: 1432-4350 8 Treffer
- issn: 0960-1295 6 Treffer
- eissn: 1860-5974 ; logical methods in computer science 5 Treffer
- fm 2018: formal methods ; fm 2018 - international symposium on formal methods ; https://hal.science/hal-01889222 ; fm 2018 - international symposium on formal methods, jul 2018, oxford, united kingdom. pp.203-221, ⟨10.1007/978-3-319-95582-7_12⟩ 5 Treffer
- issn: 0001-5903 5 Treffer
- issn: 0169-2968 5 Treffer
- issn: 0925-9856 5 Treffer
- theoretical computer science 5 Treffer
- abz 2018 - 6th international conference on abstract state machines, alloy, b, tla, vdm, and z ; https://hal.science/hal-02082755 ; abz 2018 - 6th international conference on abstract state machines, alloy, b, tla, vdm, and z, jun 2018, southampton, united kingdom. pp.409-414, ⟨10.1007/978-3-319-91271-4_32⟩ 4 Treffer
- https://hal.inria.fr/hal-03126115 ; 2021 4 Treffer
- issn: 0010-4620 4 Treffer
- issn: 1433-2779 4 Treffer
- issn: 2041-1723 4 Treffer
- 2019 34th annual acm/ieee symposium on logic in computer science (lics) ; https://hal.science/hal-03185736 ; 2019 34th annual acm/ieee symposium on logic in computer science (lics), jun 2019, vancouver, canada. ⟨10.1109/lics.2019.8785684⟩ 3 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
- electronic proceedings in theoretical computer science 3 Treffer
- formats 2005 - 3rd international conference on formal modeling and analysis of timed systems ; https://inria.hal.science/inria-00368577 ; formats 2005 - 3rd international conference on formal modeling and analysis of timed systems, sep 2005, uppsala, sweden. pp.211-225, ⟨10.1007/11603009_17⟩ 3 Treffer
- issn: 1567-7818 3 Treffer
- journal of logic and computation 3 Treffer
- electronic notes in theoretical computer science 2 Treffer
- https://hal.inria.fr/hal-03126102 ; 2021 2 Treffer
- issn: 0022-0000 2 Treffer
- issn: 0022-4812 2 Treffer
- issn: 0039-3215 2 Treffer
- issn: 0362-5915 2 Treffer
- issn: 0925-8531 2 Treffer
- issn: 0956-7968 2 Treffer
- issn: 1542-3980 2 Treffer
- issn: 1942-3454 2 Treffer
- 2008 21st ieee computer security foundations symposium 1 Treffer
- 2009 ieee symposium on computers and communications 1 Treffer
- 2015 30th annual acm/ieee symposium on logic in computer science 1 Treffer
- acm transactions on computational logic 1 Treffer
- formal methods in system design 1 Treffer
- informatik-spektrum 1 Treffer
- journal of automated reasoning 1 Treffer
- journal of computer and system sciences 1 Treffer
- journal of logical and algebraic methods in programming 1 Treffer
- logical methods in computer science 1 Treffer
- nature communications 1 Treffer
- proceedings of the 35th annual acm/ieee symposium on logic in computer science 1 Treffer
- proceedings of the aaai conference on artificial intelligence 1 Treffer
- proceedings of the twenty-ninth international joint conference on artificial intelligence 1 Treffer
Sprache
Geographischer Bezug
1.309 Treffer
-
In: https://hal.science/hal-01864693 ; [Research Report] Univ. Bordeaux, 2020Online reportZugriff:
-
In: https://inria.hal.science/hal-01973539 ; [Rapport de recherche] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, 2018Online reportZugriff:
-
In: Proceedings of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'20) ; GandALF'20 - 11th International Symposium on Games, 2020Online KonferenzZugriff:
-
In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '20), July 8--11, 2020, Saarbrücken, Germany ; LICS 2020 - 35th ACM/IEEE Symposium on Logic in Computer Science ; https://hal.science/hal-02557823, 2020Online KonferenzZugriff:
-
In: FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction ; https://inria.hal.science/hal-02981528 ; FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. pp.14, ⟨10.4230/LIPIcs.FSCD.2020.13⟩, 2020Online KonferenzZugriff:
-
In: FSCD - 5th International Conference on Formal Structures for Computation and Deduction ; https://inria.hal.science/hal-03838613 ; FSCD - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. ⟨10.4230/LIPIcs.FSCD.2020.31⟩ ; https://fscd-ijcar-2020.org/, 2020Online KonferenzZugriff:
-
In: https://hal.inria.fr/hal-03126111 ; 2021, 2021Online reportZugriff:
-
In: https://hal.inria.fr/hal-03126102 ; 2021, 2021Online reportZugriff:
-
In: https://hal.inria.fr/hal-03126115 ; 2021, 2021Online reportZugriff:
-
In: https://hal.inria.fr/hal-03126115 ; 2021, 2021Online reportZugriff:
-
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: https://inria.hal.science/hal-02552287 ; [Research Report] MPI SP; LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, 2020Online reportZugriff:
-
In: Journal of Logical and Algebraic Methods in Programming, Jg. 131 (2023-02-01), S. 100845-100845Online unknownZugriff:
-
In: Higher-Order Rewriting Workshop ; Proceedings Higher-Order Rewriting Workshop ; https://hal.inria.fr/hal-01330955 ; Proceedings Higher-Order Rewriting Workshop, Jun 2016, Porto, Portugal ; http://www.diku.dk/hjemmesider/ansatte/simonsen/HOR2016/, 2016Online KonferenzZugriff:
-
In: Proc. HaTT ; Proceedings Hammers for Type Theories ; https://hal.inria.fr/hal-01330980 ; Proceedings Hammers for Type Theories, Jul 2016, Coimbra, Portugal ; http://hatt2016.inria.fr/, 2016Online KonferenzZugriff:
-
In: Information and Computation, Jg. 289 (2022-11-01), S. 104856-104856Online unknownZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-03203052 ; [Research Report] LSV-02-11, 2002Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-03203058 ; [Research Report] LSV-02-7, 2002Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-03203306 ; [Research Report] LSV-02-8, 2002Online reportZugriff:
-
In: Theory of Security and Applications (TOSCA, joint workshop affiliated to ETAPS) ; https://inria.hal.science/inria-00578896 ; Theory of Security and Applications (TOSCA, 2011Online KonferenzZugriff: