Skip to main content
Have a personal or library account? Click to login
General Theory and Tools for Proving Algorithms in Nominative Data Systems Cover

General Theory and Tools for Proving Algorithms in Nominative Data Systems

Formalized Mathematics
Volume 28 (2020): Issue 4 (December 2020)
By: Adrian Jaszczak  
Open Access
|May 2021
Download

Download Article

Download the full article as a PDF file.

DOI: https://doi.org/10.2478/forma-2020-0024 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 269 - 278
Accepted on: Oct 25, 2020
Published on: May 21, 2021
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
nominative data,
program verification,
inference rules
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other

© 2021 Adrian Jaszczak, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 License.

Volume 28 (2020): Issue 4 (December 2020)
Previous article
Next article