Switch to: Citations

Add references

You must login to add references.
  1. On languages with two variables.Michael Mortimer - 1975 - Mathematical Logic Quarterly 21 (1):135-140.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Undecidability of subsumption in NIKL.Peter F. Patel-Schneider - 1989 - Artificial Intelligence 39 (2):263-272.
    Download  
     
    Export citation  
     
    Bookmark   5 citations