Implicit Function Theorem, Stream calculus
An implicit function theorem for the stream calculus / Michele Boreale; Luisa Collodi; Daniele Gorla. - In: LOGICAL METHODS IN COMPUTER SCIENCE. - ISSN 1860-5974. - ELETTRONICO. - --:(2023), pp. --.0---.0. [10.48550/arxiv.2303.11876]
An implicit function theorem for the stream calculus
Michele Boreale
;Luisa Collodi
;Daniele Gorla
2023
Abstract
Implicit Function Theorem, Stream calculus
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
