default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Formalized Reasoning, Volume 7

> Home > Journals > Journal of Formalized Reasoning

Refine list

refinements active!

zoomed in on 7 of 7 records

view refined list in

export refined list as

showing all 7 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 7, Number 1, 2014

Articles

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jfrea/AltenkirchCU14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfrea/AltenkirchCU14
Thorsten Altenkirch, James Chapman, Tarmo Uustalu:
Relative Monads Formalised. 1-43
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jfrea/Sternagel14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfrea/Sternagel14
Christian Sternagel:
Certified Kruskal's Tree Theorem. 45-62
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jfrea/AffeldtS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfrea/AffeldtS14
Reynald Affeldt, Kazuhiko Sakaguchi:
An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing. 63-104
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jfrea/BertotA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfrea/BertotA14
Yves Bertot, Guillaume Allais:
Views of PI: Definition and computation. 105-129
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jfrea/Roux14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfrea/Roux14
Pierre Roux:
Innocuous Double Rounding of Basic Arithmetic Operations. 131-142
no results

Volume 7, Number 2, 2014

Special Issue: User Tutorials 2

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jfrea/BaeldeCGMNTW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfrea/BaeldeCGMNTW14
David Baelde, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, Yuting Wang:
Abella: A System for Reasoning about Relational Specifications. 1-89
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jfrea/AspertiRC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfrea/AspertiRC14
Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen:
Matita Tutorial. 91-199
no results

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.