default search action

combined dblp search
author search
venue search
publication search

ask others

11th LFMTP 2016: Porto, Portugal

> Home > Conferences and Workshops > LFMTP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/lfmtp/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfmtp/2016
Gilles Dowek, Daniel R. Licata, Sandra Alves:
Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016. ACM 2016, ISBN 978-1-4503-4777-8
- view
  authority control:
- export record
  dblp key:
  - conf/lfmtp/Jacob-RaoCP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfmtp/Jacob-RaoCP16
Rohan Jacob-Rao, Andrew Cave, Brigitte Pientka:
Mechanizing Proofs about Mendler-style Recursion. 1:1-1:9
- view
  authority control:
- export record
  dblp key:
  - conf/lfmtp/Cauderlier16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfmtp/Cauderlier16
Raphaël Cauderlier:
A Rewrite System for Proof Constructivization. 2:1-2:7
- view
  authority control:
- export record
  dblp key:
  - conf/lfmtp/BattellF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfmtp/BattellF16
Chelsea Battell, Amy P. Felty:
The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid. 3:1-3:10
- view
  authority control:
- export record
  dblp key:
  - conf/lfmtp/DunchevCT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfmtp/DunchevCT16
Cvetan Dunchev, Claudio Sacerdoti Coen, Enrico Tassi:
Implementing HOL in an Higher Order Logic Programming Language. 4:1-4:10
- view
  authority control:
- export record
  dblp key:
  - conf/lfmtp/Breitner16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfmtp/Breitner16
Joachim Breitner:
The Incredible Proof Machine (Invited Talk). 5:1

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.