Mario Carneiro

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
1Gilberto Yoshinobu Nakama
1Ricardo Dizioli Navarro
1Marcus Vinicius Malheiro Luzo
1João Mauricio Barretto
1Antonio Altenor Bessa de Queiroz
Learn More
Although some work has been done on the metamathematics of Metamath, there has not been a clear definition of a model for a Meta-math formal system. We define the collection of models of an arbitrary Metamath formal system, both for tree-based and string-based representations. This definition is demonstrated with examples for propositional calculus, ZFC set(More)
Surgical procedures for double-bundle reconstruction of anterior cruciate ligament, which currently use semitendinous and gracilis tendon grafts, have been described in the last decade. Most of the techniques utilize twice the hardware used in single-bundle reconstructions. We report an original anterior cruciate ligament double-bundle reconstruction(More)
  • 1