View in EDS PDF Full Text

Formalization of Quasilattices.

Saved in:
Bibliographic Details
Title: Formalization of Quasilattices.
Authors: Kulesza, Dominik1 (AUTHOR), Grabowski, Adam1 (AUTHOR)
Source: Formalized Mathematics. Jul2020, Vol. 28 Issue 2, p217-225. 9p.
Database: Academic Search Ultimate
Description
ISSN:14262630
DOI:10.2478/forma-2020-0019