Suggested Topics within your search.
Showing 1 - 15 results of 15 for search '"theorem"', query time: 0.04s Refine Results
  1. 1
    Algebraic and logic programming /

    Algebraic and logic programming /

    Published 1994
    Subjects:
    Conference Proceeding Book
  2. 2
    Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /

    Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /

    Published 1997
    Subjects:
    Conference Proceeding Book
  3. 3
    Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /

    Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /

    Published 2009
    Subjects:
    Conference Proceeding Book
  4. 4
    Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings /

    Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings /

    Published 2013
    Subjects:
    Book
  5. 5
    Computer science logic /

    Computer science logic /

    Published 1996
    Subjects:
    Conference Proceeding Book
  6. 6
    Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /

    Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /

    Published 2007
    Subjects:
    Conference Proceeding Book
  7. 7
    Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /

    Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /

    Published 2008
    Subjects:
    Conference Proceeding Book
  8. 8
    Computer aided verification : proceedindings /

    Computer aided verification : proceedindings /

    Published 1997
    Subjects:
    Conference Proceeding Book
  9. 9
    Computer science logic /

    Computer science logic /

    Published 1997
    Subjects:
    Conference Proceeding Book
  10. 10
    Computer aided verification /

    Computer aided verification /

    Published 1996
    Subjects:
    Conference Proceeding Book
  11. 11
    Algebraic methodology and software technology /

    Algebraic methodology and software technology /

    Published 1995
    Subjects:
    Conference Proceeding Book
  12. 12
    Inferencia de tipos para Fˆ, un λ cálculo polimórfico con terminación basada en tipos /

    Inferencia de tipos para Fˆ, un λ cálculo polimórfico con terminación basada en tipos / by Pastawski, Fernando Martín, 1982-

    Published 2005
    Subjects:
    Thesis Book
  13. 13
    Algebraic methodology and software technology /

    Algebraic methodology and software technology /

    Published 1996
    Subjects:
    Conference Proceeding Book
  14. 14
    Reasoning with logic programming /

    Reasoning with logic programming / by Alferes, José Júlio, 1966-

    Published 1996
    Subjects:
    Book
  15. 15
    Foundations of software technology and theoretical computer science /

    Foundations of software technology and theoretical computer science /

    Published 1995
    Subjects:
    Conference Proceeding Book

Search Tools: