View in EDS PDF Full Text

AXIOMATIZING MAXIMAL PROGRESS AND DISCRETE TIME.

Saved in:
Bibliographic Details
Title: AXIOMATIZING MAXIMAL PROGRESS AND DISCRETE TIME.
Authors: BRAVETTI, MARIO1,2, mario.bravetti@unibo.it
Source: Logical Methods in Computer Science (LMCS); 2021, Vol. 17 Issue 1, p1-44, 44p
Database: Applied Science & Technology Source
Description
ISSN:18605974
DOI:10.23638/LMCS-17(11)2021