Dynamic Cantor Derivative Logic.

David Fernández-Duque Yoàv Montacute

Published in: CSL (2022)

Keyphrases

dynamic environments
image sequences
logic programming
automated reasoning
dynamically changing
databases
website