Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Plus

Known as: UBC PLUS 
Plus is a "Pascal-like" system implementation language from the University of British Columbia (UBC), Canada, based on the SUE system language… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Smtlink is an extension of ACL2 with Satisfiability Modulo Theories (SMT) solvers. We presented an earlier version at ACL2'2015… Expand
  • figure 2
  • figure 3
Is this relevant?
2014
2014
The objective of this research was to establish essential tools for planning and control for the development and implementation… Expand
Is this relevant?
2008
2008
The way that childhood’s concept has been developed may constitute an excellent projection of the values system and aspirations… Expand
Is this relevant?