Gabbay Separation for the Duration Calculus.

Dimitar P. Guelev

Published in: TIME (2022)

Keyphrases

data sets
search algorithm
automated deduction
formal language
algebraic structure
timed automata
databases
neural network
information retrieval
three dimensional
natural language
multiresolution
automated theorem proving
computer algebra