Open Access | Dec 19, 2017
Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations
, , and
Journal Information
Formalized Mathematics is covered by the following services:
- Arianta
- ArnetMiner
- Baidu Scholar
- Cabell's Journalytics
- CiteSeerX
- CNKI Scholar (China National Knowledge Infrastructure)
- DBLP Computer Science Bibliography
- Dimensions
- EBSCO
- Electronic Journals Library
- ExLibris
- Google Scholar
- Index Copernicus - ICI Journals Master List
- Japan Science and Technology Agency (JST)
- J-Gate
- Jisc - Open Policy Finder
- JournalGuide
- JournalTOCs
- KESLI-NDSL (Korean National Discovery for Science Leaders)
- Naver Academic
- Naviga (Softweco)
- OpenAlex
- ProQuest
- ReadCube
- ScienceON/AccessON
- SCILIT
- Scite_
- Semantic Scholar
- TDNet
- The Polish Digital Mathematical Library (DML-PL)
- Ulrich's Periodicals Directory/ulrichsweb
- WanFang Data
- Web of Science - Emerging Sources Citation Index
- WorldCat (OCLC)
- WorldWideScience.org
- X-MOL
- zbMATH Open
Additionally, the journal is registered and indexed in the Crossref database.