Pages that link to "Item:Q1114668"
From MaRDI portal
The following pages link to The word problem for Smullyan's lark combinator is decidable (Q1114668):
Displaying 7 items.
- Almost all one-rule Thue systems have decidable word problems (Q1057265) (← links)
- How to decide the lark (Q1208736) (← links)
- Displaying and deciding substructural logics. I: Logics with contraposition (Q1267081) (← links)
- The combinator S (Q1854346) (← links)
- (Q4993347) (← links)
- The combinator M and the Mockingbird lattice (Q5059139) (← links)
- (Q5114826) (← links)