Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Subject: #Decidability )
Results:3items
Decision problems for equational theories of relation algebras / Hajnal Andréka, Steven Givant, István Németi
Providence, R.I. : American Mathematical Society , 1997. - (Memoirs of the American Mathematical Society ; no. 604)
Books
Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / Denis R. Hirschfeldt, Karen Lange, Richard A. Shore
Providence, Rhode Island : American Mathematical Society , 2017. - (Memoirs of the American Mathematical Society ; no. 1187)
Decidability and Boolean representations / Stanley Burris and Ralph McKenzie
Providence, R.I. : American Mathematical Society , 1981. - (Memoirs of the American Mathematical Society ; no. 246)