Concepedia

Reiner H�hnle

RH

2

Publications

141

Citations

2

H-Index

1994

Active since

Affiliations

Karlsruhe Institute of Technology(Current)

Reiner H�hnle is an author at Karlsruhe Institute of Technology specializing in automated reasoning, computational linguistics, and formal semantics.

Top concepts

Automated ReasoningSyntaxLanguageSemanticsEngineeringLinguisticsFormal MethodsFormal SemanticsInteger ProgrammingDiscrete Mathematics

Publications per year

1994–1994

2

Publications

2

Many-valued logic and mixed integer programming

Reiner H�hnle · Annals of Mathematics and Artificial Intelligence · 1994 · 77 citations

Mathematical Programming, Engineering, Integer Optimization +7

The liberalized ?-rule in free variable semantic tableaux

Reiner H�hnle, Peter H. Schmitt · Journal of Automated Reasoning · 1994 · 64 citations

Formal Semantics, Syntax, Automated Reasoning +6

Rows per page

1–2 of 2