Matches in DBpedia 2016-04 for { <http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps author "Jürgen Giesl".
- Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps author2 "Christoph Walther".
- Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps author3 "Jürgen Brauburger".
- Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps contribution "Termination Analysis for Functional Programs".
- Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps editor "W. Bibel".
- Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps editor2 "P. Schmitt".
- Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps format "postscript".
- Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps isCitedBy Christoph_Walther.
- Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps isCitedBy Termination_analysis.
- Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps location "Dordrecht".
- Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps pages "135–164".
- Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps publisher "Kluwer Academic Publishers".
- Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps title "Automated Deduction - A Basis for Applications".
- Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps url Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps.
- Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps volume "3".
- Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps year "1998".