*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 20
*of* 1*number_thousands_separator*551
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*Format*
*Published in*
proceedings of the acm on programming languages
43
arxiv
21
arxiv (usa)
21
sigplan not. (usa)
21
sigplan notices
21
acm transactions on programming languages & systems
19
*more* ...
formal aspects of computing
16
theory and practice of logic programming
16
ieee transactions on software engineering
15
lecture notes in computer science
15
journal of automated reasoning
13
theoretical computer science
13
acm transactions on programming languages and systems
12
journal of functional programming
12
science of computer programming
12
reasoning about program transformations
11
acm transactions on computational logic
10
electronic proceedings in theoretical computer science
10
acta informatica
8
abstracts with programs - geological society of america
6
artificial intelligence
6
frontiers in psychology
6
machine learning
6
british journal of educational technology
5
journal of allied health
5
journal of symbolic computation
5
social inclusion
5
fundamenta informaticae
4
international journal of parallel programming
4
journal of artificial intelligence research
4
*less* ...
*SubjectEDS*
reasoning about programs
148
02 engineering and technology
130
0202 electrical engineering, electronic engineering, information engineering
127
program verification
90
formal specification
77
inference mechanisms
75
*more* ...
logic programming
71
01 natural sciences
70
theorem proving
69
0102 computer and information sciences
60
computer science - programming languages
60
programming language semantics
60
program compilers
55
program diagnostics
55
fos: computer and information sciences
53
16. peace & justice
48
computer science
44
formal verification
44
type theory
44
4. education
40
computer science - logic in computer science
39
software engineering
39
program transformation
38
formal logic
35
3. good health
32
programming languages (cs.pl)
32
programming languages
31
computer software
28
functional programming
25
data structures
24
*less* ...
*Publisher*
acm
119
springer-verlag
79
springer nature
71
ieee
67
association for computing machinery (acm)
44
springer international publishing
43
*more* ...
springer berlin heidelberg
42
arxiv
41
wti-frankfurt-digital gmbh
35
elsevier b.v.
31
springer
31
association for computing machinery
27
springer verlag
17
cambridge university press
16
springer-verlag, berlin
16
cambridge university press (cup)
15
wiley-blackwell
15
open publishing association
12
acm - association for computing machinery
11
cogitatio press
11
schloss dagstuhl - leibniz-zentrum fur informatik
11
elsevier
9
wiley
9
kluwer academic publishers
7
geological society of america gsa boulder co united states
6
springer netherlands
6
frontiers media s.a.
5
university of oxford
4
cogitatio
3
elsevier science
3
*less* ...
*RangeLexile*
*Language*
*Category*
*SourceEDS*
OpenAIRE
405
Inspec
391
OAIster
192
Complementary Index
83
MathSciNet via EBSCOhost
81
TEMA
69
*more* ...
Academic Search Index
58
arXiv
55
wiso
36
Supplemental Index
32
IEEE Xplore Digital Library
23
APA PsycInfo
20
Business Source Premier
19
British Library EThOS
17
Directory of Open Access Journals
14
Scopus®
10
MEDLINE
8
GeoRef
8
JSTOR Journals
5
eBook Index
4
dblp computer science bibliography
3
CEABA
3
FIS Bildung Literaturdatenbank (German Education Index)
2
RePEc
2
BazTech
2
Historical Abstracts
2
Europeana
2
Biomedical Index
2
SSOAR – Social Science Open Access Repository
1
Philosopher's Index
1
*less* ...
*adv_search_year*
*Filter*