English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL

Blanchette, J. C., Fleury, M., & Traytel, D. (2017). Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL. In D. Miller (Ed.), 2nd International Conference on Formal Structures for Computation and Deduction (pp. 1-18). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.FSCD.2017.11.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-002E-06EE-1 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002E-06EF-0
Genre: Conference Paper
Latex : Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in {Isabelle}/{HOL}

Files

show Files

Locators

show
hide
Locator:
http://drops.dagstuhl.de/opus/volltexte/2017/7715/ (Publisher version)
Description:
-
OA-Status:
Locator:
http://drops.dagstuhl.de/doku/urheberrecht1.html (Copyright transfer agreement)
Description:
-
OA-Status:

Creators

show
hide
 Creators:
Blanchette, Jasmin Christian1, Author           
Fleury, Mathias1, Author           
Traytel, Dmitriy2, Author
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2External Organizations, ou_persistent22              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2017
 Publication Status: Published online
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: BlanchetteFSCD2017
DOI: 10.4230/LIPIcs.FSCD.2017.11
URN: urn:nbn:de:0030-drops-77155
 Degree: -

Event

show
hide
Title: 2nd International Conference on Formal Structures for Computation and Deduction
Place of Event: Oxford, UK
Start-/End Date: 2017-09-03 - 2017-09-09

Legal Case

show

Project information

show

Source 1

show
hide
Title: 2nd International Conference on Formal Structures for Computation and Deduction
  Abbreviation : FSCD 2017
  Subtitle : FSCD 2017, September 3–9, 2017, Oxford, UK
Source Genre: Proceedings
 Creator(s):
Miller, Dale1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: Wadern : Schloss Dagstuhl
Pages: - Volume / Issue: - Sequence Number: 1 Start / End Page: 1 - 18 Identifier: ISBN: 978-3-95977-047-7

Source 2

show
hide
Title: Leibniz International Proceedings in Informatics
  Abbreviation : LIPIcs
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 84 Sequence Number: - Start / End Page: - Identifier: ISSN: 1868-8969