Formalizing Almost Development Closed Critical Pairs (Short Paper).

Christina Kohl Aart Middeldorp

Published in: ITP (2023)

Keyphrases

pairwise
knowledge based systems
information processing
practical application
decision trees
multiscale
decision making
computer science
software engineering
design principles
development environment
queueing networks