Acceso abierto

Formalized Mathematics

Volumen 28 (2020): Edición 2 (Julio 2020)

Descargar portada

Edición anterior

Próxima edición

8 Artículos

Ordenar por

Categorías

Acceso abierto | 09 ene 2021

Renamings and a Condition-free Formalization of Kronecker’s Construction

Christoph Schwarzweller

Schwarzweller, Christoph

Acceso abierto | 09 ene 2021

Refined Finiteness and Degree Properties in Graphs

Sebastian Koch

Koch, Sebastian

Acceso abierto | 09 ene 2021

About Graph Unions and Intersections

Sebastian Koch

Koch, Sebastian

Acceso abierto | 09 ene 2021

Unification of Graphs and Relations in Mizar

Sebastian Koch

Koch, Sebastian

Acceso abierto | 09 ene 2021

Partial Correctness of a Fibonacci Algorithm

Artur Korniłowicz

Korniłowicz, Artur

Acceso abierto | 09 ene 2021

Multiplication-Related Classes of Complex Numbers

Rafał Ziobro

Ziobro, Rafał

Acceso abierto | 09 ene 2021

Grothendieck Universes

Karol Pąk

Pąk, Karol

Acceso abierto | 09 ene 2021

Formalization of Quasilattices

Buscar

Todos los volúmenes y ediciones en esta revista

Volumen 32 (2024)

Edición 1 (Agosto 2024)

Volumen 31 (2023)

Edición 1 (Septiembre 2023)

Volumen 30 (2022)

Volumen 29 (2021)

Volumen 28 (2020)

Volumen 27 (2019)

Volumen 26 (2018)

Volumen 25 (2017)

Volumen 24 (2016)

Volumen 23 (2015)

Volumen 22 (2014)

Volumen 21 (2013)

Volumen 20 (2012)

Volumen 19 (2011)

Volumen 18 (2010)

Volumen 17 (2009)

Volumen 16 (2008)

Volumen 15 (2007)

Volumen 14 (2006)

Idioma:: Inglés

Calendario de la edición:: 1 veces al año
Temas de la revista:: Informática, Informática, otros, Matemáticas, Matemáticas generales

RSS Feed de revista