The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 2,163
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
concurrent constraint programming
298
01 natural sciences
148
0102 computer and information sciences
144
02 engineering and technology
144
0202 electrical engineering, electronic engineering, information engineering
137
computer science
106
more ...
[info.info-lo]computer science [cs]/logic in computer science [cs.lo]
105
16. peace & justice
64
applied sciences
64
exact sciences and technology
64
informatique
64
sciences appliquees
64
sciences exactes et technologie
64
computer science; control theory; systems
62
informatique; automatique theorique; systemes
62
constraint programming
52
concurrency
49
theoretical computer science
48
[info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl]
47
linear logic
45
process calculi
43
concurrency theory
42
informatique theorique
42
logic programming
42
theoretical computing
42
programmation concurrente par contrainte
39
semantics
39
model checking
38
computer science(all)
34
software
33
less ...
Published in
lecture notes in computer science
91
concurrent constraint programming
79
theoretical computer science
63
electronic notes in theoretical computer science
48
entcs: electronic notes in theoretical computer science
17
theory and practice of logic programming
17
more ...
science of computer programming
16
information and computation
13
fundamenta informaticae
10
$2
8
constraints
8
electronic proceedings in theoretical computer science
7
formal aspects of computing
6
issn: 1471-0684
6
acm computing surveys
5
arxiv
5
constraints: an international journal
5
future generation computer systems
5
acm transactions on computational logic
4
acta informatica
4
issn: 0167-6423 ; science of computer programming ; https://hal.science/hal-01098502 ; science of computer programming, 2015, 111, pp.135-155. ⟨10.1016/j.scico.2014.12.003⟩
4
journal of logical and algebraic methods in programming
4
acm transactions on programming languages & systems
3
acm transactions on programming languages and systems
3
computer science review
3
formal aspects of computing: applicable formal methods
3
journal of symbolic computation
3
new generation computing
3
the journal of logic programming
3
applicable algebra in engineering, communication and computing
2
less ...
Publisher
ccsd
166
springer berlin heidelberg
151
springer
138
ieee
99
hal ccsd
89
elsevier b.v.
78
more ...
elsevier bv
73
elsevier
59
springer-verlag
46
acm
44
springer nature
44
springer verlag
28
cambridge university press (cup)
22
acm press
21
association for computing machinery
21
open publishing association
19
universitat politecnica de valencia
17
wti-frankfurt-digital gmbh
16
elsevier science bv
15
mit press
15
springer international publishing
14
springer science and business media llc
14
association for computing machinery (acm)
13
hispana
12
rise - research institutes of sweden, sics
12
springer us
12
utrecht
12
aarhus university
11
cambridge univ press
10
polskie towarzystwo matematyczne
10
less ...
Language
Geography
Content Provider
BASE
981
OpenAIRE
348
dblp computer science bibliography
154
Complementary Index
144
OAIster
113
HAL
71
more ...
GBV Online Contents
71
PASCAL Archive
65
ScienceDirect
56
Science Citation Index Expanded
40
Supplemental Index
32
arXiv
22
Academic Search Index
20
wiso
16
Springer Nature Journals
13
Business Source Premier
3
Directory of Open Access Journals
3
Europeana
3
GOBI E-books
2
OpenDissertations
2
Arts & Humanities Citation Index
1
BLLDB (Bibliography of Linguistic Lit/Bibliographie Linguistischer Lit)
1
SciTech Connect
1
NASA Technical Reports
1
less ...
Year of Publication
Filter