Nominal logic, a first order theory of names and binding
Тип публикации: Journal Article
Дата публикации: 2003-11-01
scimago Q2
wos Q3
white level БС3
SJR: 0.493
CiteScore: 2.2
Impact factor: 1
ISSN: 08905401, 10902651
Computer Science Applications
Computational Theory and Mathematics
Information Systems
Theoretical Computer Science
Найдено
Ничего не найдено, попробуйте изменить настройки фильтра.
Для доступа к списку цитирований публикации необходимо авторизоваться.
Для доступа к списку профилей, цитирующих публикацию, необходимо авторизоваться.
Топ-30
Журналы
|
10
20
30
40
50
60
70
|
|
|
Lecture Notes in Computer Science
62 публикации, 25.2%
|
|
|
Electronic Notes in Theoretical Computer Science
18 публикаций, 7.32%
|
|
|
Journal of Automated Reasoning
13 публикаций, 5.28%
|
|
|
Theoretical Computer Science
12 публикаций, 4.88%
|
|
|
ACM SIGPLAN Notices
11 публикаций, 4.47%
|
|
|
ACM Transactions on Computational Logic
8 публикаций, 3.25%
|
|
|
Proceedings of the ACM on Programming Languages
8 публикаций, 3.25%
|
|
|
Mathematical Structures in Computer Science
8 публикаций, 3.25%
|
|
|
Information and Computation
5 публикаций, 2.03%
|
|
|
Logical Methods in Computer Science
5 публикаций, 2.03%
|
|
|
Electronic Proceedings in Theoretical Computer Science, EPTCS
5 публикаций, 2.03%
|
|
|
Journal of Logic and Computation
3 публикации, 1.22%
|
|
|
Journal of Functional Programming
3 публикации, 1.22%
|
|
|
Theory and Practice of Logic Programming
3 публикации, 1.22%
|
|
|
Science of Computer Programming
2 публикации, 0.81%
|
|
|
Journal of Logical and Algebraic Methods in Programming
2 публикации, 0.81%
|
|
|
Journal of Computer and System Sciences
2 публикации, 0.81%
|
|
|
Proceedings - Symposium on Logic in Computer Science
2 публикации, 0.81%
|
|
|
Journal of Symbolic Logic
2 публикации, 0.81%
|
|
|
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
2 публикации, 0.81%
|
|
|
Journal of the ACM
1 публикация, 0.41%
|
|
|
ACM SIGACT News
1 публикация, 0.41%
|
|
|
ACM Transactions on Programming Languages and Systems
1 публикация, 0.41%
|
|
|
Transactions on Embedded Computing Systems
1 публикация, 0.41%
|
|
|
Applied Categorical Structures
1 публикация, 0.41%
|
|
|
Soft Computing
1 публикация, 0.41%
|
|
|
Journal of the Brazilian Computer Society
1 публикация, 0.41%
|
|
|
Software and Systems Modeling
1 публикация, 0.41%
|
|
|
Journal of Applied Logic
1 публикация, 0.41%
|
|
|
10
20
30
40
50
60
70
|
Издатели
|
10
20
30
40
50
60
70
80
90
|
|
|
Springer Nature
82 публикации, 33.33%
|
|
|
Association for Computing Machinery (ACM)
62 публикации, 25.2%
|
|
|
Elsevier
47 публикаций, 19.11%
|
|
|
Cambridge University Press
18 публикаций, 7.32%
|
|
|
Institute of Electrical and Electronics Engineers (IEEE)
10 публикаций, 4.07%
|
|
|
Technischen Universitat Braunschweig
5 публикаций, 2.03%
|
|
|
electronic proceedings in theoretical computer science, eptcs
4 публикации, 1.63%
|
|
|
Oxford University Press
4 публикации, 1.63%
|
|
|
proceedings - symposium on logic in computer science
2 публикации, 0.81%
|
|
|
De Gruyter Brill
1 публикация, 0.41%
|
|
|
Editura Universitatea Alexendru Ion Cuza
1 публикация, 0.41%
|
|
|
Hindawi Limited
1 публикация, 0.41%
|
|
|
Institute of Electronics, Information and Communications Engineers (IEICE)
1 публикация, 0.41%
|
|
|
Open Publishing Association
1 публикация, 0.41%
|
|
|
10
20
30
40
50
60
70
80
90
|
- Мы не учитываем публикации, у которых нет DOI.
- Статистика публикаций обновляется еженедельно.
Вы ученый?
Создайте профиль, чтобы получать персональные рекомендации коллег, конференций и новых статей.
Метрики
246
Всего цитирований:
246
Цитирований c 2025:
8
(3.25%)
Цитировать
ГОСТ |
RIS |
BibTex |
MLA
Цитировать
ГОСТ
Скопировать
Pitts A. M. Nominal logic, a first order theory of names and binding // Information and Computation. 2003. Vol. 186. No. 2. pp. 165-193.
ГОСТ со всеми авторами (до 50)
Скопировать
Pitts A. M. Nominal logic, a first order theory of names and binding // Information and Computation. 2003. Vol. 186. No. 2. pp. 165-193.
Цитировать
RIS
Скопировать
TY - JOUR
DO - 10.1016/S0890-5401(03)00138-X
UR - https://doi.org/10.1016/S0890-5401(03)00138-X
TI - Nominal logic, a first order theory of names and binding
T2 - Information and Computation
AU - Pitts, Andrew M.
PY - 2003
DA - 2003/11/01
PB - Elsevier
SP - 165-193
IS - 2
VL - 186
SN - 0890-5401
SN - 1090-2651
ER -
Цитировать
BibTex (до 50 авторов)
Скопировать
@article{2003_Pitts,
author = {Andrew M. Pitts},
title = {Nominal logic, a first order theory of names and binding},
journal = {Information and Computation},
year = {2003},
volume = {186},
publisher = {Elsevier},
month = {nov},
url = {https://doi.org/10.1016/S0890-5401(03)00138-X},
number = {2},
pages = {165--193},
doi = {10.1016/S0890-5401(03)00138-X}
}
Цитировать
MLA
Скопировать
Pitts, Andrew M.. “Nominal logic, a first order theory of names and binding.” Information and Computation, vol. 186, no. 2, Nov. 2003, pp. 165-193. https://doi.org/10.1016/S0890-5401(03)00138-X.
Ошибка в публикации?