Größer: x = [x0,…] > [y0,…] = y mathend000#, falls (x0 > y0)∧(tail(x) = tail(y)) mathend000# oder tail(x) > tail(y) mathend000# Gleich: x = [x0,…] = [y0,…] = y mathend000#, falls | x| = | y| = 0 mathend000# oder (x0 = y0)∧(tail(x) = tail(y)) mathend000# Damit x > y mathend000# mit linear vielen Variablen und Klauseln möglich. Welches sind die besten Faktoren? 2014-03-31
Gleich: x = [x0,…] = [y0,…] = y mathend000#, falls | x| = | y| = 0 mathend000# oder (x0 = y0)∧(tail(x) = tail(y)) mathend000# Damit x > y mathend000# mit linear vielen Variablen und Klauseln möglich. Welches sind die besten Faktoren? 2014-03-31
Damit x > y mathend000# mit linear vielen Variablen und Klauseln möglich. Welches sind die besten Faktoren? 2014-03-31
