Aug. 13th, 2009

maradydd: (Default)
Consider an arithmetic over {0,1}+ with three operators: addition, left-shift, and equality.

Is it decidable?

Profile

maradydd: (Default)
maradydd

September 2010

S M T W T F S
   1234
567891011
12131415 161718
19202122232425
26 27282930  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags