Ralph, Benjamin
~ 6500  results:
Search for persons X
?
 
?
4

Herbrand Proofs and Expansion Proofs as Decomposed Proofs:

Ralph, Benjamin
Journal of Logic and Computation.  30 (2020)  8 - p. 1711-1742 , 2020
 
?
5

Coupled hybrid modelling within the Fire Dynamics Simulator..:

Ralph, Benjamin ; Carvel, Ricky ; Floyd, Jason
Journal of Building Performance Simulation.  12 (2019)  5 - p. 685-699 , 2019
 
?
6

Towards a Combinatorial Proof Theory:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
Ralph, Benjamin ; Straßburger, Lutz - p. 259-276 , 2019
 
?
8

Posaconazole-Loaded Leukocytes as a Novel Treatment Strateg..:

Baistrocchi, Shane R. ; Lee, Mark J. ; Lehoux, Melanie...
The Journal of Infectious Diseases.  215 (2017)  11 - p. 1734-1741 , 2017
 
?
 
?
 
?
14

Identification of key cytosolic kinases containing evolutio..:

Abu-Dayyeh, Issa ; Ralph, Benjamin ; Grayfer, Leon...
Developmental & Comparative Immunology.  34 (2010)  5 - p. 481-484 , 2010
 
?
15

A critical review of the public buildings, statues, and orn.. 

In and about London and Westminister. Originally written by... 
 
1-15