Back to Results
First PageMeta Content
Mathematics / Structure / Universal algebra / Symbol / Constructible universe / First-order logic / Lambda calculus / Mathematical logic / Logic / Model theory


Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder? Jasmin Christian Blanchette and Tobias Nipkow Institut für Informatik, Technische Universität München, Germany {blanchette
Add to Reading List

Document Date: 2010-04-01 08:28:46

Open Document

File Size: 186,94 KB

Share Result on Facebook

Company

The Basic Translation Nitpick / /

/

Facility

Java library / TPTP library / /

IndustryTerm

partial solutions / state transition systems / search space / eligible call site / call site / /

MarketIndex

TPTP / /

Organization

Technische Universität München / Tobias Nipkow Institut für Informatik / /

Person

Tobias Nipkow / Jasmin Christian Blanchette / /

Position

head / hb / Prime Minister / /

ProgrammingLanguage

Java / /

Technology

Java / /

SocialTag