Formalized Mathematics's Cover Image
Open Access

Formalized Mathematics

Volume 15 (2007): Issue 1 (March 2007)

Download Cover
Previous Issue
Next Issue
3 Articles
Open Access | Jun 13, 2008
Formal Languages - Concatenation and Closure
Michał Trybulec

Michał Trybulec

Search for this author on
Sciendo|Google Scholar
Trybulec, Michał
  
Open Access | Jun 13, 2008
Basic Properties of Determinants of Square Matrices over a Field1
Karol Pąk

Karol Pąk

Search for this author on
Sciendo|Google Scholar
Pąk, Karol
  
Open Access | Jun 13, 2008
Several Classes of BCI-algebras and their Properties
Yuzhong Ding

Yuzhong Ding

Search for this author on
Sciendo|Google Scholar
Ding, Yuzhong
  

Search

All Volumes and Issues in this Journal

Language:
English
Publication timeframe:
1 times per year
Journal Subjects:
Mathematics, General Mathematics, Computer Sciences, Computer Sciences, other
Journal RSS Feed