Skip to content

Research at St Andrews

University > Research portal > Journals > Logical Methods in Computer Science

Logical Methods in Computer Science, 1860-5974

Journal

Research publications (2)

  1. Sequential decision problems, dependent types and generic solutions

    Botta, N., Jansson, P., Ionescu, C., Christiansen, D. & Brady, E. C. 17 Mar 2017 In : Logical Methods in Computer Science. 13, 1, 23 p., 7

    Research output: Contribution to journal › Article

  2. A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems

    Dyckhoff, R., Lengrand, S. & McKinna, J. H. 2011 In : Logical Methods in Computer Science. 7, 1:6, p. 1--35 35 p.

    Research output: Contribution to journal › Article

View all

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

ID: 1751653