Algebra Universalis


Wydawca Springer
ISSN 0002-5240
e-ISSN 1420-8911
Skrót Algebr. Univ.
Lista MNiSW/MEiN A (od 2012)
tak (od 2019)
tak (od 2023)
Punktacja MNiSW/MEiN dla czasopisma 15 (od 2012)
20 (od 2013)
15 (od 2014)
20 (od 2017)
70 (od 2019)
70 (od 2023)
Ujednolicona punktacja MNiSW/MEiN (2013-2016) 20
Polecane strony internetowe strona wydawcy  


Publikacje w tym tytule: 1

Pałasińska, K.; Pigozzi, D.
Gentzen-style axiomatizations in equational logic
Typ: artykuł w czasopiśmie
Seria/Czasopismo: Algebra Universalis
Data wydania: 1995
ISSN: 1420-8911
Publikacja indeksowana w Web of Science: tak
Publikacja indeksowana w bazie Scopus: tak




© 2009 - 2024 Biblioteka Politechniki Krakowskiej
http://www.biblos.pk.edu.pl/