The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 121 - 112
of 112
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
model checking
30
02 engineering and technology
27
0202 electrical engineering, electronic engineering, information engineering
25
temporal logic
25
timed concurrent constraint programming
24
01 natural sciences
23
more ...
0102 computer and information sciences
23
concurrent constraint programming
20
abstract interpretation
19
reactive systems
17
process calculi
14
[info.info-lo]computer science [cs]/logic in computer science [cs.lo]
13
theoretical computer science
13
computer science
11
case study
10
computer science(all)
10
denotational semantics
10
functional features
9
[info.info-sc]computer science [cs]/symbolic computation [cs.sc]
8
computer programming
8
distributed computing
8
multimedia programming
8
16. peace & justice
7
logic programming
7
security
7
applied sciences
6
artificial intelligence
6
computer science; control theory; systems
6
decidability
6
exact sciences and technology
6
less ...
Published in
electronic notes in theoretical computer science
16
theoretical computer science
9
theory and practice of logic programming
7
entcs: electronic notes in theoretical computer science
6
lecture notes in computer science
6
issn: 1471-0684
4
more ...
$2
3
formal aspects of computing
3
future generation computer systems
3
iclp
3
electronic proceedings in theoretical computer science
2
formal aspects of computing: applicable formal methods
2
journal of computer and system sciences
2
proceedings ninth annual ieee symposium on logic in computer science
2
23rd international conference in logic programming (iclp'07)
1
arxiv
1
bcb
1
brics report series
1
computer systems science and engineering
1
express
1
expressiveness in concurrency
1
first acm international conference on bioinformatics and computational biology (bcb '10).
1
foundations of software science & computation structures (978-3-540-41864-1)
1
future generation computer systems-the international journal of escience
1
international journal of computer systems science & engineering
1
journal of computer & system sciences
1
lectures on concurrency and petri nets
1
lectures on concurrency and petri nets : advances in petri nets
1
lics
1
logic programming (9783540746089)
1
less ...
Publisher
ccsd
21
elsevier b.v.
20
elsevier bv
15
universitat politecnica de valencia
12
acm
11
springer
11
more ...
springer berlin heidelberg
11
cambridge university press (cup)
9
hal ccsd
9
hispana
8
acm press
4
association for computing machinery
4
aarhus university
3
association for computing machinery (acm)
3
cambridge univ press
3
elsevier
3
open publishing association
3
cambridge university press
2
country:usa
2
elsevier science bv
2
ieee comput. soc. press
2
ieee computer press
2
journal of universal computer science
2
springer nature
2
springerverlag
2
universita degli studi di udine
2
academic press inc.
1
c r l publishing ltd
1
datorteknik
1
det kgl. bibliotek/royal danish library
1
less ...
Language
Geography
Content Provider
BASE
123
OpenAIRE
41
OAIster
17
ScienceDirect
12
dblp computer science bibliography
11
HAL
8
more ...
Supplemental Index
7
PASCAL Archive
6
Science Citation Index Expanded
6
Complementary Index
6
GBV Online Contents
5
arXiv
3
Academic Search Index
3
Directory of Open Access Journals
1
Springer Nature Journals
1
Business Source Premier
1
less ...
Year of Publication
Filter