*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 20
*of* 25*number_thousands_separator*481
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*Format*
*Published in*
electronic proceedings in theoretical computer science
709
proceedings of the acm on programming languages
485
logical methods in computer science
324
theory and practice of logic programming
222
journal of functional programming
33
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
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
logical methods in computer science, vol volume 19, issue 1 (2023
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*383
0202 electrical engineering, electronic engineering, information engineering
5*number_thousands_separator*325
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
association for computing machinery (acm)
714
open publishing association
713
acm
610
springer international publishing
392
logical methods in computer science e.v.
358
*more* ...
ieee
311
cambridge university press (cup)
265
springer berlin heidelberg
165
elsevier bv
162
centre pour la communication scientifique directe (ccsd)
142
springer nature switzerland
142
aspect-oriented software association (aosa)
124
springer science and business media llc
67
association for computational linguistics (acl)
53
institute of electrical and electronics engineers (ieee)
34
association for the advancement of artificial intelligence (aaai)
17
hal ccsd
16
springer nature singapore
14
zenodo
14
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
editura universitatii alexandru ioan cuza din iasi
6
internet society
6
the open journal
6
*less* ...
*Language*
*Collection*
Directory Of Open Access Journals: Doaj Articles
168
Padua Research Archive (Iris - Universita Degli Studi Di Padova)
5
University Of Copenhagen: Research / Forskning Ved Kobenhavns Universitet
4
Zenodo
3
Aarhus University: Research
1
Arud'a - Archivio Istituzionale Della Ricerca Dell'universita Chieti-Pescara (Iris)
1
*more* ...
Iris Universita Degli Studi Di Bologna (Cris - Current Research Information System)
1
Iris Universita Degli Studi Di Perugia
1
Universita Degli Studi Di Torino: Aperto (Archivio Istituzionale Ad Accesso Aperto)
1
University Of Luxembourg: Orbilu - Open Repository And Bibliography
1
*less* ...
*SourceEDS*
*adv_search_year*
*Filter*