Login / Signup

A Compiler for Origami Construction and Verification.

Tetsuo Ida
Published in: SYNASC (2009)
Keyphrases
  • construction process
  • software systems
  • model checking
  • programming language
  • information retrieval
  • information systems
  • decision trees
  • expert systems
  • distributed memory machines