Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- OpenAIRE 889 Treffer
- BASE 296 Treffer
- Springer Nature eBooks 142 Treffer
- Scopus® 33 Treffer
- Applied Science & Technology Source 13 Treffer
-
17 weitere Werte:
- Academic Search Index 11 Treffer
- Networked Digital Library of Theses & Dissertations 10 Treffer
- Science Citation Index Expanded 9 Treffer
- Complementary Index 9 Treffer
- Springer Nature Journals 9 Treffer
- IEEE Xplore Digital Library 6 Treffer
- Supplemental Index 6 Treffer
- Business Source Ultimate 5 Treffer
- Japanese Periodical Index - 雑誌記事索引 4 Treffer
- GBV Online Contents 3 Treffer
- Directory of Open Access Journals 3 Treffer
- PASCAL Archive 2 Treffer
- British Library EThOS 1 Treffer
- J-STAGE 1 Treffer
- RCAAP 1 Treffer
- BazTech 1 Treffer
- FRANCIS Archive 1 Treffer
Art der Quelle
Schlagwort
- computer science 711 Treffer
- computer 550 Treffer
- computer.software_genre 520 Treffer
- programming language 482 Treffer
- 02 engineering and technology 380 Treffer
-
45 weitere Werte:
- theoryofcomputation_logicsandmeaningsofprograms 380 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 374 Treffer
- coq 311 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 309 Treffer
- 020207 software engineering 266 Treffer
- theoretical computer science 256 Treffer
- mathematical proof 238 Treffer
- 01 natural sciences 237 Treffer
- 0102 computer and information sciences 204 Treffer
- 010201 computation theory & mathematics 204 Treffer
- software 200 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 184 Treffer
- correctness 175 Treffer
- formal verification 170 Treffer
- business 159 Treffer
- business.industry 159 Treffer
- 020201 artificial intelligence & image processing 133 Treffer
- mathematics 133 Treffer
- computer.programming_language 131 Treffer
- type theory 117 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 113 Treffer
- compiler 98 Treffer
- automated theorem proving 96 Treffer
- 020204 information systems 95 Treffer
- computer science::logic in computer science 94 Treffer
- formal proof 89 Treffer
- fos: computer and information sciences 87 Treffer
- semantics (computer science) 81 Treffer
- assistant de preuve 79 Treffer
- computer science::programming languages 79 Treffer
- algebra 75 Treffer
- calculus 71 Treffer
- [info]computer science [cs] 68 Treffer
- computer science - logic in computer science 68 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 67 Treffer
- certification 66 Treffer
- logic in computer science (cs.lo) 64 Treffer
- soundness 64 Treffer
- algorithm 62 Treffer
- formal methods 61 Treffer
- artificial intelligence 59 Treffer
- general computer science 59 Treffer
- separation logic 54 Treffer
- operational semantics 51 Treffer
- discrete mathematics 50 Treffer
Verlag
- hal ccsd 411 Treffer
- springer berlin heidelberg 258 Treffer
- springer international publishing 118 Treffer
- acm 90 Treffer
- association for computing machinery (acm) 58 Treffer
-
45 weitere Werte:
- ieee 58 Treffer
- elsevier bv 36 Treffer
- springer science and business media llc 31 Treffer
- association for computing machinery 29 Treffer
- springer verlag 19 Treffer
- arxiv 16 Treffer
- elsevier b.v. 16 Treffer
- springer 15 Treffer
- springer nature 14 Treffer
- zenodo 14 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 11 Treffer
- societe mathematique de france 11 Treffer
- acm press 9 Treffer
- springer netherlands 8 Treffer
- university of bologna 5 Treffer
- elsevier 4 Treffer
- springer-verlag 4 Treffer
- sveuciliste u zagrebu. fakultet elektrotehnike i racunarstva. 4 Treffer
- university of st andrews 4 Treffer
- assoc computing machinery 3 Treffer
- logical methods in computer science 3 Treffer
- schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 3 Treffer
- springer us 3 Treffer
- association for computing machinery, inc 2 Treffer
- humboldt-universitat zu berlin 2 Treffer
- institute of electrical and electronics engineers inc. 2 Treffer
- kluwer academic publishers 2 Treffer
- lavoisier 2 Treffer
- murs 2 Treffer
- scientific annals of computer science 2 Treffer
- springer science and business media deutschland gmbh 2 Treffer
- universita di bologna, alma mater studiorum 2 Treffer
- alexandru ioan cuza university of iasi 1 Treffer
- birkhauser verlag ag 1 Treffer
- ceur-ws 1 Treffer
- discrete mathematics & theoretical computer science 1 Treffer
- ieee computer society 1 Treffer
- konsorcjum baztech 1 Treffer
- springer heidelberg 1 Treffer
- springer london 1 Treffer
- springer new york llc 1 Treffer
- springer/plenum publishers 1 Treffer
- tech univ braunschweig 1 Treffer
- the institute of electronics, information and communication engineers 1 Treffer
- universite paris sud - paris xi 1 Treffer
Publikation
- journal of automated reasoning 32 Treffer
- proceedings of the acm on programming languages 25 Treffer
- electronic notes in theoretical computer science 24 Treffer
- acm sigplan notices 20 Treffer
- acm transactions on mathematical software 17 Treffer
-
45 weitere Werte:
- theoretical computer science 12 Treffer
- issn: 0168-7433 9 Treffer
- 7th international conference on networked systems (netys 2019) ; https://hal.science/hal-02115599 ; 7th international conference on networked systems (netys 2019), jun 2019, marrakech, morocco. pp.93-09, ⟨10.1007/978-3-030-31277-0_7⟩ 7 Treffer
- international journal of parallel programming 7 Treffer
- issn: 0224-8999 ; la gazette des mathematiciens ; https://hal.science/hal-03979238 ; la gazette des mathematiciens, 2022, 174 7 Treffer
- journal of formalized reasoning 7 Treffer
- theses.fr 7 Treffer
- formal aspects of computing 6 Treffer
- lecture notes in computer science 6 Treffer
- theory of computing systems 6 Treffer
- international journal on software tools for technology transfer 5 Treffer
- issn: 0934-5043 5 Treffer
- entcs: electronic notes in theoretical computer science 4 Treffer
- interactive theorem proving : first international conference, itp 2010, edinburgh, uk, july 11-14, 2010. proceedings 4 Treffer
- logical methods in computer science 4 Treffer
- 電子情報通信学会技術研究報告 = ieice technical report : 信学技報 4 Treffer
- certified programs and proofs : first international conference, cpp 2011, kenting, taiwan, december 7-9, 2011. proceedings 3 Treffer
- intelligent computer mathematics : 18th symposium, calculemus 2011, and 10th international conference, mkm 2011, bertinoro, italy, july 18-23, 2011. proceedings 3 Treffer
- interactive theorem proving : 4th international conference, itp 2013, rennes, france, july 22-26, 2013. proceedings 3 Treffer
- interactive theorem proving : third international conference, itp 2012, princeton, nj, usa, august 13-15, 2012. proceedings 3 Treffer
- leibniz international proceedings in informatics, lipics 3 Treffer
- procedia computer science 3 Treffer
- scientific annals of computer science 3 Treffer
- theorem proving in higher order logics : 22nd international conference, tphols 2009, munich, germany, august 17-20, 2009. proceedings 3 Treffer
- types for proofs and programs : international workshop, types 2006, nottingham, uk, april 18-21, 2006, revised selected papers 3 Treffer
- automated reasoning : third international joint conference, ijcar 2006, seattle, wa, usa, august 17-20, 2006. proceedings 2 Treffer
- computer aided systems theory - eurocast 2007 : 11th international conference on computer aided systems theory, las palmas de gran canaria, spain, february 12-16, 2007, revised selected papers 2 Treffer
- computer languages, systems & structures 2 Treffer
- intelligent computer mathematics : mkm, calculemus, dml, and systems and projects 2013, held as part of cicm 2013, bath, uk, july 8-12, 2013. proceedings 2 Treffer
- interactive theorem proving : second international conference, itp 2011, berg en dal, the netherlands, august 22-25, 2011. proceedings 2 Treffer
- logical methods in computer science (lmcs) 2 Treffer
- mathematics in computer science 2 Treffer
- science & devenir de l'homme 2 Treffer
- theorem proving in higher order logics : 15th international conference, tphols 2002 hampton, va, usa, august 20-23, 2002 proceedings 2 Treffer
- theorem proving in higher order logics : 21st international conference, tphols 2008, montreal, canada, august 18-21, 2008. proceedings 2 Treffer
- types for proofs and programs : international conference, types 2007, cividale des friuli, italy, may 2-5, 2007 revised selected papers 2 Treffer
- types for proofs and programs : international workshop types'96 aussois, france, december 15-19, 1996 selected papers 2 Treffer
- types for proofs and programs : international workshop, types 2004, jouy-en-josas, france, december 15-18, 2004, revised selected papers 2 Treffer
- types for proofs and programs : international workshop, types'99 lokeberg, sweden, june 12-16, 1999 selected papers 2 Treffer
- discrete mathematics & theoretical computer science 1 Treffer
- formal aspects of computing : the internat. journal of formal methods 1 Treffer
- ieice transactions on communications 1 Treffer
- methodes formelles pour l'analyse statique et la compilation 1 Treffer
- metody informatyki stosowanej 1 Treffer
- tsi. technique et science informatiques 1 Treffer
Sprache
Geographischer Bezug
1.455 Treffer
-
In: 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 2009-07-01, S. 201KonferenzZugriff:
-
2022academicJournalZugriff:
-
2021Online BuchZugriff:
-
2021academicJournalZugriff:
-
2020academicJournalZugriff:
-
In: https://theses.hal.science/tel-04165484 ; Logique en informatique [cs.LO]. Université Paris-Saclay, 2023. Français. ⟨NNT : 2023UPASG040⟩, 2023Online HochschulschriftZugriff:
-
2023academicJournalZugriff:
-
In: IEEE Access, Jg. 8 (2020), S. 21510-21523Online unknownZugriff:
-
In: International Journal of Parallel Programming, Jg. 45 (2017-04-01), Heft 2, S. 300-319Online academicJournalZugriff:
-
2019Online Elektronische RessourceZugriff:
-
2021Online unknownZugriff:
-
In: Type Theory Based Tools ; https://hal.science/hal-01671994 ; Type Theory Based Tools, Jan 2017, Paris, France, 2017Online KonferenzZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 337 (2021-07-16), S. 71-87Online unknownZugriff:
-
In: Journal of Membrane Computing, Jg. 3 (2021-08-24), S. 205-220Online unknownZugriff:
-
In: Scientific Annals of Computer Science, Jg. 26 (2016-07-01), Heft 2, S. 157-186Online academicJournalZugriff:
-
2018Online Elektronische RessourceZugriff:
-
In: Journal of Automated Reasoning, Jg. 61 (2018-02-27), S. 423-453Online unknownZugriff:
-
2022academicJournalZugriff:
-
2017academicJournalZugriff: