Searching for "On Herbrand's Theorem." – sorted by Relevance.
237 documents found, showing 1 through 10.
Next 10 →
-
On Herbrand's Theorem
- …On Herbrand's Theorem Samuel R. Buss University of California, San Diego La Jolla, California…
- Add To MetaCart
-
On Herbrand’s theorem
- …On Herbrand's Theorem Samuel R. Buss University of California, San Diego La Jolla, California…
- Cited by 9 (0 self) – Add To MetaCart
-
A Modal Herbrand Theorem
- …A Modal Herbrand Theorem ∗ Melvin Fitting mlflc@(email omitted); Dept. Mathematics and Computer…
- Cited by 7 (3 self) – Add To MetaCart
-
A Hidden Herbrand Theorem
- …A Hidden Herbrand Theorem ? Joseph Goguen 1 , Grant Malcolm 2 , and Tom Kemp 3 1 Dept…
- Cited by 4 (2 self) – Add To MetaCart
-
Herbrand's Theorem for a Modal Logic
- …Herbrand’s Theorem for a Modal Logic Melvin Fitting fitting@(email omitted); Dept…
- Cited by 1 (0 self) – Add To MetaCart
-
Completeness and Herbrand Theorems for Nominal Logic
- …COMPLETENESS AND HERBRAND THEOREMS FOR NOMINAL LOGIC JAMES CHENEY Abstract. Nominal logic is a…
- Cited by 5 (4 self) – Add To MetaCart
-
Herbrand's Theorem, Automated Reasoning and Semantic Tableaux
- …UPMAIL Technical Report No. 151 February 11, 1998 Herbrand's theorem, automated reasoning…
- Cited by 4 (3 self) – Add To MetaCart
-
On herbrand’s theorem for intuitionistic logic
- …On Herbrand’s Theorem for Intuitionistic Logic ⋆ Alexander Lyaletski 1 and Boris Konev 2 1 Faculty…
- Cited by 1 (1 self) – Add To MetaCart
-
Bertrand Russell, Herbrand's Theorem, and the Assignment Statement
- …Bertrand Russell, Herbrand’s Theorem, and the Assignment Statement Melvin Fitting Dept…
- Add To MetaCart
-
Herbrand's Theorem And Equational Reasoning: Problems And Solutions
- …HERBRAND'S THEOREM AND EQUATIONAL REASONING: PROBLEMS AND SOLUTIONS ANATOLI DEGTYAREV Manchester…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
