Connecting Constrained Constructor Patterns and Matching Logic.

Xiaohong Chen Dorel Lucanu Grigore Rosu

Published in: WRLA@ETAPS (2020)

Keyphrases

multi valued
matching algorithm
matching process
logic programming
pattern matching
pattern matching algorithm
defeasible logic
automated reasoning
pattern discovery
asynchronous circuits
computational properties
string matching
databases
pattern mining
logic programs
data structure
website