Works by Christoph Walther

( view other items matching `Christoph Walther`, view all matches )
Order:
  1.  6
    A mechanical solution of Schubert's Steamroller by many-sorted resolution.Christoph Walther - 1985 - Artificial Intelligence 26 (2):217-224.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  3
    On proving the termination of algorithms by machine.Christoph Walther - 1994 - Artificial Intelligence 71 (1):101-157.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  2
    Proving theorems by reuse.Christoph Walther & Thomas Kolbe - 2000 - Artificial Intelligence 116 (1-2):17-66.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark