Concepedia

Robert K. Meyer

RK

68

Publications

2.9K

Citations

29

H-Index

1968

Active since

Affiliations

Australian National University(Current)

Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)

Technische Universität Berlin

Indiana University

Robert K. Meyer is an author at Australian National University specializing in engineering, automated reasoning, and aerodynamics.

Top concepts

EngineeringAutomated ReasoningAerodynamicsSpace EngineeringSemanticsAeroacousticsFlow ControlLanguageMechanical EngineeringLinguistics

Publications per year

1968–2022

68

Publications

68

The semantics of entailment?II

Richard Routley, Robert K. Meyer · Journal of Philosophical Logic · 1972 · 218 citations

Formal Semantics, Syntax, Automated Reasoning +5

The semantics of entailment ? III

Richard Routley, Robert K. Meyer · Journal of Philosophical Logic · 1972 · 142 citations

Formal Semantics, Philosophy Of Language, Automated Reasoning +5

Inconsistent models for relevant arithmetics

Robert K. Meyer, Chris Mortensen · Journal of Symbolic Logic · 1984 · 134 citations · Full text

Non-classical Logic, Real Data Type, Engineering +13

On the Ternary Relation and Conditionality

Jc Beall, Ross T. Brady, J. Michael Dunn et al. · Journal of Philosophical Logic · 2011 · 120 citations

Relevance Logic, Automated Reasoning, Classical Logic +5

Effects of Vortex Generator Application on the Performance of a Compressor Cascade

Alexander Hergt, Robert K. Meyer, Karl Engel · Journal of Turbomachinery · 2012 · 116 citations

Aeroacoustics, Unsteady Flow, Flow Control +15

Rows per page

1–5 of 68