Switch to: Citations

Add references

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