*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 101 - 120
*of* 1*number_thousands_separator*558
*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
british journal of educational technology
5
journal of allied health
5
journal of symbolic computation
5
machine learning
5
social inclusion
5
fundamenta informaticae
4
international journal of parallel programming
4
journal of artificial intelligence research
4
*less* ...
*SubjectEDS*
reasoning about programs
149
02 engineering and technology
130
0202 electrical engineering, electronic engineering, information engineering
127
program verification
90
inference mechanisms
78
formal specification
77
*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
56
program diagnostics
56
fos: computer and information sciences
53
16. peace & justice
48
computer science
44
formal verification
44
type theory
44
4. education
40
software engineering
40
computer science - logic in computer science
39
program transformation
38
formal logic
35
3. good health
32
programming languages
32
programming languages (cs.pl)
32
computer software
28
functional programming
25
data structures
24
*less* ...
*Publisher*
acm
119
springer-verlag
79
springer nature
72
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
394
OAIster
193
Complementary Index
84
MathSciNet via EBSCOhost
81
TEMA
69
*more* ...
Academic Search Index
58
arXiv
57
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*