Ideals in the Two-Sorted Variety of Equational States.

Serafina Lapenta Sebastiano Napolitano Luca Spada

Published in: EUSFLAT/AGOP (2023)

Keyphrases

wide variety
theorem proving
wide range
real world
data sets
special case
partial order
state transition
horn clauses
grammatical inference