Login / Signup
Constructive Proofs as Programs Executable by PrT Nets.
Pierangelo Miglioli
Ugo Moscato
Mario Ornaghi
Published in:
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)
Keyphrases
</>
computer programs
control flow
machine learning
formal specification
control structures
data sets
neural network
computer vision
website
theorem proving
formal methods
automatic programming