Andrzej S. Murawski

2016

A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Whom Andrzej S. Murawski trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Andrew M. Pitts

Who trusts Andrzej S. Murawski overall

  1. Augustus Odena
  2. Ruiqi Zhong
  3. Esteban Real
  4. Charles Sutton

Papers from Andrzej S. Murawski's perspective

Ordered by how strongly the researchers Andrzej S. Murawski trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Nominal Logic: A First Order Theory of Names and Binding (Theoretical Aspects of Computer Software)
  2. Abstract syntax and variable binding
  3. A New Approach to Abstract Syntax with Variable Binding (Formal Aspects of Computing)
  4. A spatial logic for concurrency (part I) (Information and Computation)

Their papers