A note on simplification orderings

Materias

• Computational complexity
• Automatic theorem proving

Ediciones (2)

• A note on simplification orderings (1979)

  Dept. of Computer Science, University of Illinois at Urbana-Champaign · inglés

• A note on simplification orderings (1979)

  Dept. of Computer Science, University of Illinois at Urbana-Champaign · inglés

Más obras de Nachum Dershowitz

Fields of logic and computation

Pillars of computer science

VVerification

Verification