Computing the Border Array in Isabelle/HOL (short paper).

Published in: CICM Workshops (2021)

Keyphrases

theorem prover
natural deduction
case study
multiscale
relational databases
first order logic
programmable logic
real time
real world
information retrieval
social networks
computer vision
data structure
video sequences
inference rules