Volume 20 (2012): Issue 1 (Jan 2012)

Formalized Mathematics

Open Access

Journal detailsTable of contents

Previous issue Formalized Mathematics Next issue

All volumes and issues in this journal

Issue 4 (December 2012)

Issue 3 (September 2012)

Issue 2 (June 2012)

Issue 1 (January 2012)

12 articles

Open Access

|Sep 2012

Marco Riccardi

Open Access

|Sep 2012

Keiichi Miyajima, Artur Korniłowicz and Yasunari Shidama

Open Access

|Sep 2012

Katuhiko Kanazashi, Hiroyuki Okazaki and Yasunari Shidama

Open Access

|Sep 2012

Grzegorz Bancerek, Hidetsune Kobayashi and Artur Korniłowicz

Open Access

|Sep 2012

Karol Pąk

Open Access

|Sep 2012

Yuichi Futa, Hiroyuki Okazaki and Yasunari Shidama

Open Access

|Sep 2012

Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima and Yasunari Shidama

Open Access

|Sep 2012

Xiquan Liang and Tao Wang

Open Access

|Sep 2012

Hiroshi Yamazaki, Czesław Byliński and Katsumi Wasaki

Open Access

|Sep 2012

Keiko Narita, Artur Korniłowicz and Yasunari Shidama

eISSN: 1898-9934|ISSN: 1426-2630|Language: English|Publication frequency: 1 time per year

Published by: University of Bialystok

In partnership with: Paradigm Publishing Services

Journal RSS Feed

Volume 20 (2012): Issue 1 (Jan 2012)

All volumes and issues in this journal

Volume 33 (2025)

Volume 32 (2024)

Volume 31 (2023)

Volume 30 (2022)

Volume 29 (2021)

Volume 28 (2020)

Volume 27 (2019)

Volume 26 (2018)

Volume 25 (2017)

Volume 24 (2016)

Volume 23 (2015)

Volume 22 (2014)

Volume 21 (2013)

Volume 20 (2012)

Volume 19 (2011)