*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 20
*of* 26*number_thousands_separator*583
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*Format*
Reports
8*number_thousands_separator*497
Electronic Resources
8*number_thousands_separator*465
Academic Journals
8*number_thousands_separator*396
Books
1*number_thousands_separator*880
Conference Materials
1*number_thousands_separator*021
Dissertations
23
*more* ...
Reviews
21
Magazines
1
*less* ...
*Published in*
electronic proceedings in theoretical computer science
709
proceedings of the acm on programming languages
485
logical methods in computer science
324
journal of functional programming
33
electronic notes in theoretical computer science
32
scientific annals of computer science
12
*more* ...
logical methods in computer science, vol volume 8, issue 1 (2012
8
logical methods in computer science, vol volume 6, issue 3 (2010
6
logical methods in computer science, vol volume 8, issue 2 (2012
6
logical methods in computer science, vol volume 17, issue 1 (2021
5
logical methods in computer science, vol volume 18, issue 3 (2022
5
domain-specific program development
4
logical methods in computer science, vol volume 13, issue 4 (2017
4
logical methods in computer science, vol volume 15, issue 1 (2019
4
logical methods in computer science, vol volume 16, issue 4 (2020
4
logical methods in computer science, vol volume 20, issue 4 (2024
4
logical methods in computer science, vol volume 5, issue 3 (2009
4
logical methods in computer science, vol volume 7, issue 3 (2011
4
logical methods in computer science, vol volume 8, issue 3 (2012
4
proceedings of the thirteenth workshop on trends in functional programming in education
4
$2
3
computer methods and programs in biomedicine
3
logical methods in computer science, vol volume 11, issue 4 (2015
3
logical methods in computer science, vol volume 12, issue 3 (2017
3
logical methods in computer science, vol volume 13, issue 3 (2017
3
logical methods in computer science, vol volume 15, issue 2 (2019
3
logical methods in computer science, vol volume 15, issue 4 (2019
3
logical methods in computer science, vol volume 16, issue 3 (2020
3
logical methods in computer science, vol volume 18, issue 1 (2022
3
logical methods in computer science, vol volume 18, issue 2 (2022
3
*less* ...
*SubjectEDS*
computer science - programming languages
16*number_thousands_separator*947
fos: computer and information sciences
7*number_thousands_separator*591
programming languages (cs.pl)
7*number_thousands_separator*590
02 engineering and technology
5*number_thousands_separator*385
0202 electrical engineering, electronic engineering, information engineering
5*number_thousands_separator*327
computer science - logic in computer science
4*number_thousands_separator*230
*more* ...
computer science - software engineering
2*number_thousands_separator*705
01 natural sciences
2*number_thousands_separator*666
0102 computer and information sciences
2*number_thousands_separator*098
logic in computer science (cs.lo)
1*number_thousands_separator*792
computer science - artificial intelligence
1*number_thousands_separator*369
computer science - machine learning
1*number_thousands_separator*351
software engineering (cs.se)
1*number_thousands_separator*212
electronic computers. computer science
1*number_thousands_separator*089
qa75.5-76.95
1*number_thousands_separator*077
computer science - distributed, parallel, and cluster computing
1*number_thousands_separator*010
f.3.2
868
computer science - cryptography and security
757
f.3.1
668
machine learning (cs.lg)
635
artificial intelligence (cs.ai)
628
d.3.3
574
mathematics
562
d.3.1
554
qa1-939
554
logic
542
computer science - computation and language
517
bc1-199
508
distributed, parallel, and cluster computing (cs.dc)
484
f.4.1
480
*less* ...
*Publisher*
arxiv
3*number_thousands_separator*531
springer berlin heidelberg
938
association for computing machinery (acm)
714
open publishing association
713
acm
610
springer international publishing
555
*more* ...
logical methods in computer science e.v.
358
ieee
311
cambridge university press (cup)
265
springer nature switzerland
207
elsevier bv
165
centre pour la communication scientifique directe (ccsd)
142
aspect-oriented software association (aosa)
124
springer science and business media llc
67
association for computational linguistics (acl)
53
springer nature singapore
36
institute of electrical and electronics engineers (ieee)
34
springer-verlag
19
springer london
18
association for the advancement of artificial intelligence (aaai)
17
hal ccsd
16
zenodo
15
sage publications
13
wiley
12
academy and industry research collaboration center (aircc)
11
uit norges arktiske universitet
11
iop publishing
10
acm press
7
easychair
6
center for open science
5
*less* ...
*Language*
*Collection*
Directory Of Open Access Journals: Doaj Articles
169
Padua Research Archive (Iris - Universita Degli Studi Di Padova)
5
University Of Copenhagen: Research / Forskning Ved Kobenhavns Universitet
4
Citeseerx
3
Zenodo
3
Aarhus University: Research
1
*more* ...
Arud'a - Archivio Istituzionale Della Ricerca Dell'universita Chieti-Pescara (Iris)
1
Delft University Of Technology: Institutional Repository
1
Humanities Commons Core Deposits
1
Iris Universita Degli Studi Di Bologna (Cris - Current Research Information System)
1
Iris Universita Degli Studi Di Perugia
1
Max Planck Society: Mpg.Pure
1
The University Of Dublin, Trinity College: Tara (Trinity's Access To Research Archive)
1
Ufmg - Universidade Federal De Minas Gerais: Portal De Periodicos
1
Universidad De Chile: Repositorio Academico
1
Universita Degli Studi Di Torino: Aperto (Archivio Istituzionale Ad Accesso Aperto)
1
University Of Luxembourg: Orbilu - Open Repository And Bibliography
1
University Of Twente Publications
1
*less* ...
*SourceEDS*
OAIster
8*number_thousands_separator*465
arXiv
8*number_thousands_separator*444
OpenAIRE
7*number_thousands_separator*890
BASE
1*number_thousands_separator*563
Directory of Open Access Journals
179
MathSciNet via EBSCOhost
19
*more* ...
Scopus®
7
Inspec
6
Supplemental Index
4
Academic Search Index
2
MEDLINE
2
BazTech
1
wiso
1
*less* ...
*adv_search_year*
*Filter*