The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 498
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
281
01 natural sciences
65
0102 computer and information sciences
65
02 engineering and technology
58
0202 electrical engineering, electronic engineering, information engineering
57
computer science
54
more ...
[info.info-lo]computer science [cs]/logic in computer science [cs.lo]
48
applied sciences
46
exact sciences and technology
46
informatique
46
sciences appliquees
46
sciences exactes et technologie
46
computer science; control theory; systems
45
informatique; automatique theorique; systemes
45
programmation concurrente par contrainte
38
linear logic
37
model checking
31
theoretical computer science
31
informatique theorique
30
theoretical computing
30
process calculi
29
concurrency theory
28
concurrency
27
16. peace & justice
25
software
24
timed concurrent constraint programming
24
logic programming
23
abstract interpretation
22
computer science(all)
22
partition refinement
22
less ...
Published in
theoretical computer science
33
lecture notes in computer science
32
electronic notes in theoretical computer science
25
theory and practice of logic programming
13
constraints
7
science of computer programming
7
more ...
logic programming (21st international conference, iclp 2005, sitges, spain, october 2-5, 2005, proceedings)
5
fundamenta informaticae
4
$2
3
cp 2001 : principles and practice of constraint programming (paphos, 26 november - 1 december 2001)
3
cp98 : principles and practice of constraint programming (pisa, 26-30 october 1998)
3
electronic proceedings in theoretical computer science
3
information and computation
3
issn: 0169-2968
3
issn: 1383-7133
3
journal of logical and algebraic methods in programming
3
logic programming (mumbai, 9-13 december 2003)
3
27th acm symposium on applied computing ; https://hal.science/hal-00641408 ; 27th acm symposium on applied computing, mar 2012, trento, italy. pp.88-93
2
acm computing surveys
2
acm transactions on computational logic
2
acm transactions on programming languages and systems
2
constraints: an international journal
2
fifth interaction and concurrency experience ; https://hal.science/hal-00761611 ; fifth interaction and concurrency experience, jun 2012, stockholm, sweden. pp.2-16, ⟨10.4204/eptcs.104⟩
2
future generation computer systems
2
issn: 0304-3975
2
issn: 1879-2294
2
issn: 1992-8645
2
journal of mathematics and music
2
proceedings of the 14th symposium on principles and practice of declarative programming
2
[research report] rr-6165
1
less ...
Publisher
ccsd
69
springer
44
hal ccsd
41
elsevier bv
33
elsevier
25
elsevier b.v.
23
more ...
universitat politecnica de valencia
17
acm
13
springer berlin heidelberg
13
hispana
12
cambridge univ press
10
elsevier science bv
10
open publishing association
10
rise - research institutes of sweden, sics
8
springer-verlag
8
waseda university
7
cambridge university press (cup)
6
country:deu
6
polskie towarzystwo matematyczne
6
swedish institute of computer science
6
springer international publishing
5
springer science and business media llc
5
springer verlag
5
assoc computing machinery
4
jatit
4
schloss dagstuhl - leibniz-zentrum fur informatik
4
academic press, elsevier
3
place:berlino
3
schloss dagstuhl - leibniz-zentrum fuer informatik
3
universidad tecnologica de pereira
3
less ...
Geography
Content Provider
Year of Publication
Filter