SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

Proof Synthesis via Explicit Substitutions on Open Terms
 by César Muñoz.

From Proceedings of the International Workshop on Explicit Substitutions, Theory and Applications, WESTAPP 98.
Tsukuba, Japan.
April, 1998.


BibTEX Entry
@inproceedings{wes98,
  AUTHOR = {C\'{e}sar Mu\~{n}oz},
  TITLE = {Proof Synthesis via Explicit Substitutions on Open Terms}, 
  BOOKTITLE = {Proceedings of the International Workshop on Explicit Substitutions, Theory and Applications, {WESTAPP} 98},
  YEAR = {1998},
  ADDRESS = {Tsukuba, Japan},
  MONTH = {April},
  URL = {http://www.csl.sri.com/papers/wes98/}
}
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy