Skip to search formSkip to main contentSkip to account menu

Herbrand Award

The Herbrand Award for Distinguished Contributions to Automated Reasoning is an award given by CADE Inc. (although it predates the formal… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Automated theorem provingCompetitions and prizes in artificial intelligenceConference on Automated DeductionEdmund M. Clarke

Broader (1)

Logic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
A Resolution Calculus for Recursive Clause Sets [ Preprint ]
Proof schemata provide an alternative formalism for proofs containing an inductive argument, which allow an extension of Herbrand… 
2018
2018
A Resolution Calculus for Recursive Clause Sets : Extended Version
Proof schemata provide an alternative formalism for proofs containing an inductive argument, which allow an extension of Herbrand… 
Review
2018
Review
2018
Auditorium J . Herbrand Houssem Eddine SAÎDI Team ELIPSE-IRIT Design and Evaluation of Interaction Techniques for exploring Complex Data in Large Display-Spaces Jury : -
Today's ever growing data is becoming increasingly complex due to its large volume and high dimensionality: it thus becomes… 
2014
2014
Cut-Elimination in Schematic Proofs and Herbrand Sequents
In a recent paper [8], a procedure was developed extending the first-order CERES method [4] so that it can handle cut-elimination… 
2007
2007
SEKI is published by the following institutions : German Research
We give some lectures on the work on formal logic of Jacques He rbrand, and sketch his life and his influence on automated… 
2004
2004
On Logical Foundations of Multilevel Secure Databases
It is envisaged that the application of the multilevel security (MLS) scheme will enhance flexibility and effectiveness of… 
1937
1937
Stellungnahme zu der Veröffentlichung von Philipp Bamberger, Hamburg über „Die Therapie und Pathogenese der malignen Diphtherie”
Auf S. 310, Jahrgang 1936 dieser Zeitschrift behauptet Herr Bamberger, gleiehzeitig mit Herbrand den Nachweis erbracht zu haben… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)