TU Darmstadt / ULB / TUbiblio

A Fast Disprover for VeriFun

Aderhold, Markus and Walther, Christoph and Szallies, Daniel and Schlosser, Andreas (2006):
A Fast Disprover for VeriFun.
pp. 59-69, IJCAR’06-Workshop DISPROVING’06: Non-Theorems, Non-Validity ,Non-Provability, Seattle, USA, 10. - 22.08.2006, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2006
Creators: Aderhold, Markus and Walther, Christoph and Szallies, Daniel and Schlosser, Andreas
Title: A Fast Disprover for VeriFun
Language: English
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Event Title: IJCAR’06-Workshop DISPROVING’06: Non-Theorems, Non-Validity ,Non-Provability
Event Location: Seattle, USA
Event Dates: 10. - 22.08.2006
Date Deposited: 20 Nov 2008 08:25
Official URL: https://www.researchgate.net/publication/249902075_A_Fast_Di...
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details