Nitpick: A counterexample generator for higher-order logic based on a relational model finder (Extended Abstract)

Nitpick: A counterexample generator for higher-order logic based on a relational model finder (Extended Abstract) (2009)

by Jasmin Christian Blanchette , Tobias Nipkow

Venue:	IN TAP 2009: SHORT PAPERS, ETH
Citations:	16 - 8 self

User correction supplied by mph

Datum	Value	Source
TITLE	Nitpick: A counterexample generator for higher-order logic based on a relational model finder (Extended Abstract)	user correction
AUTHOR NAME	Jasmin Christian Blanchette	user correction
AUTHOR AFFIL	Fakultät für Informatik, T. U. München	user correction
AUTHOR ADDR	Garching, Germany	user correction
AUTHOR NAME	Tobias Nipkow	user correction
AUTHOR AFFIL	Fakultät für Informatik, T. U. München	user correction
AUTHOR ADDR	Garching, Germany	user correction
YEAR	2009	user correction
VENUE	IN TAP 2009: SHORT PAPERS, ETH	user correction
VENUE TYPE	TECHREPORT	INFERENCE
TECH	Technical Report 630 (2009	INFERENCE
CITATIONS	5 found	ParsCit 1.0