Rodrigo Readi Nasser

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In this article we give the proof theoretical foundations of an extension of Prolog, to be called mj-Prolog, for dealing with representations of recursive functions, as Pro-log deals with terms. In opposition to other related systems, mj-Prolog remains in the framework of rst order intuitionistic logic, recursive functions are determined and represented by(More)
  • 1