Tableau sequences, open diagrams, and Baxter families.

Sophie Burrill Julien Courtiel Éric Fusy Stephen Melczer Marni Mishna

Published in: Eur. J. Comb. (2016)

Keyphrases

description logics
hidden markov models
biological sequences
real time
genetic algorithm
information systems
databases
sequence matching
automated theorem proving
hand drawn