A formal approach to Menger's theorem.

Roberta Bonacina Daniel Misselbeck-Wessel

Published in: Reports Math. Log. (2022)

Keyphrases

information retrieval
formal model
formal methods
von neumann
data sets
information systems
data structure
search algorithm
natural language
artificial neural networks
trade off
special case
formal specification
mathematical theory