RecentChanges

Updates since 1970-01-01 00:00 UTC

(for lists-turingMachineEquivalents only)

1 days 3 days 7 days 30 days 90 days
List latest change per page only List only major changes
List later changes RSS RSS with pages RSS with pages and diff

2011-01-18

  • 11:43 UTC (new) lists-turingMachineEquivalents . . . . BayleShanks todo. also, for ea. machine, which proofs you need to prove to show it is a universal turing machine * lambda calculus * petri nets see also . . .

Filters