Satisfiability of Systems of Ordinal Notations with the Subterm Property is Decidable.

Jean-Pierre Jouannaud Mitsuhiro Okada

Published in: ICALP (1991)

Keyphrases

database
expert systems
building blocks
data sets
neural network
information retrieval
management system
computer systems