Satisfiability of systems of ordinal notations with the subterm property is decidable

Jean Pierre Jouannaud, Mitsuhiro Okada

Research output: Chapter in Book/Report/Conference proceedingConference contribution

29 Citations (Scopus)

Fingerprint Dive into the research topics of 'Satisfiability of systems of ordinal notations with the subterm property is decidable'. Together they form a unique fingerprint.