The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 1,805
Not found what you were looking for? Search in the retro catalog, try interlibrary loan or place an acquisition request.
Refine Results
Limit Results
Expand Results
Resource Type
Subject
f.4: mathematical logic and formal languages
477
[info.info-lo]computer science [cs]
443
logic in computer science [cs.lo]
443
f.3: logics and meanings of programs
353
f.2: analysis of algorithms and problem complexity
326
f.4.1: mathematical logic
284
more ...
acm: d.: software
259
acm: g.: mathematics of computing
250
[info]computer science [cs]
227
f.1: computation by abstract devices
227
f.2.2: nonnumerical algorithms and problems
182
f.3.1: specifying and verifying and reasoning about programs
161
[info.info-cc]computer science [cs]
159
computational complexity [cs.cc]
159
[info.info-ds]computer science [cs]
155
data structures and algorithms [cs.ds]
155
f.1.1: models of computation
143
acm: i.: computing methodologies
133
f.3.2: semantics of programming languages
122
f.4.3: formal languages
120
[info.info-dc]computer science [cs]
119
distributed, parallel, and cluster computing [cs.dc]
119
[info.info-fl]computer science [cs]
114
formal languages and automata theory [cs.fl]
114
d.2: software engineering
99
[info.info-pl]computer science [cs]
98
programming languages [cs.pl]
98
[info.info-lo]computer science [cs]/logic in computer science [cs.lo]
97
f.4.1.7: proof theory
95
[info.info-dm]computer science [cs]
87
less ...
Published in
27th international symposium on theoretical aspects of computer science - stacs 2010
39
theoretical computer science
23
26th international symposium on theoretical aspects of computer science stacs 2009
18
logical methods in computer science
18
information and computation
12
acm transactions on computational logic
7
more ...
issn: 0304-3975
7
journal of computer and system sciences
7
issn: 1879-2294
6
mathematical structures in computer science
6
[research report] 2007
5
https://inria.hal.science/inria-00360305 ; [research report] rr-6838, inria. 2009, pp.29
5
journal of logical and algebraic methods in programming
5
journal of symbolic computation
5
theory of computing systems
5
22nd european symposium on programming, esop 2013 ; https://inria.hal.science/hal-00811629 ; 22nd european symposium on programming, esop 2013, mar 2013, rome, italy. pp.370-390, ⟨10.1007/978-3-642-37036-6_21⟩
4
26th international symposium on theoretical aspects of computer science - stacs 2009
4
acm transactions on algorithms
4
computational geometry
4
electronic proceedings in theoretical computer science
4
https://inria.hal.science/inria-00344870 ; andre flory (france), malek ghenima (tunisia) and sahbi sidhom (france). ihe editions, 1 and 2, pp.585 (vol.1) and 730 (vol.2), 2008, ihe, 9978-9973868-19-0 (vol.1) and 9978-9973-868-20-06 (vol.2
4
international journal of foundations of computer science
4
issn: 0022-0000
4
issn: 0885-064x
4
springer
4
[research report] ???. 2009
3
[research report] 2009
3
discrete applied mathematics
3
https://hal.archives-ouvertes.fr/hal-02979166 ; [research report] universite grenoble alpes, verimag, umr 5104, france; limos, universite clermont auvergne, cnrs, umr 6158, france; universite de bordeaux, labri, umr 5800, france; sorbonne universite, paris, lip6, umr 7606, france. 2020
3
https://hal.science/hal-04054250 ; 2023
3
less ...
Publisher
ccsd
1,324
hal ccsd
467
springer
139
elsevier
133
acm
56
springer verlag
47
more ...
association for computing machinery
29
logical methods in computer science association
26
ibfi schloss dagstuhl
22
cambridge university press (cup)
17
springer-verlag
17
acm press
15
iste wiley
14
schloss dagstuhl--leibniz-zentrum fuer informatik
14
ihe editions
11
institute of electrical and electronics engineers
11
elsevier bv
8
ieee computer society
8
lipics
6
springer berlin heidelberg
6
springer international publishing
6
world scientific publishing
6
massachusetts institute of technology press (mit press)
5
polskie towarzystwo matematyczne
5
springer berlin / heidelberg
5
wiley
5
chapman & hall / crc
4
editions pole paris
4
eptcs
4
inria
4
less ...
Language
Geography
Content Provider
Year of Publication
Filter