Browsing by Author Furbach, Ulrich
Showing results 1 to 2 of 2
Hyper tableaux with equality
Author(s) | Baumgartner, Peter; Furbach, Ulrich; Pelzer, Bjorn |
---|---|
Type | Conference paper |
Date Published | 2007 |
Date Created | July 17-20 2007 |
The hyper Tableaux calculus with equality and an application to finite model computation
Author(s) | Baumgartner, Peter; Furbach, Ulrich; Pelzer, Bjorn |
---|---|
Type | Journal article |
Date Published | 2008 |
Date Created | - |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator