DMCA

Decidable theories of the ordering of natural numbers with unary predicates (2006)

by Alexander Rabinovich , Wolfgang Thomas
Venue:Proceedings of Computer Science Logic (CSL ’06)
Citations:13 - 9 self