Skip to content
Log in
Toggle navigation
Datasets
Organizations
Groups
About
Search Datasets
Home
Datasets
Order by
Relevance
Name Ascending
Name Descending
Last Modified
Go
2 datasets found
Tags:
sequent-calculus-modulo
Filter Results
Narrowing Based Inductive Proof Search
Premiere version en 2005, en l'honneur de Harald Ganzinger
HTML
Theorem Proving Modulo
Article dans revue scientifique avec comité de lecture. internationale.
HTML
You can also access this registry using the
API
(see
API Docs
).
