Polymorphic+Typeclass Superposition

Wand, Daniel

Local TagsRelease HistoryDetailsSummary

Polymorphic+Typeclass Superposition

Wand, D. (2014). Polymorphic+Typeclass Superposition. In 4th Workshop on Practical Aspects of Automated Reasoning.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-E25C-4 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-E380-8

Genre: Conference Paper

Latex : {Polymorphic+Typeclass} Superposition

Files

show Files

Locators

show

Creators

show

hide

Creators:
Wand, Daniel¹, Author

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2014

Publication Status: Published online

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Wand2014PAAR

Degree: -

Event

show

hide

Title: 4th Workshop on Practical Aspects of Automated Reasoning

Place of Event: Vienna, Austria

Start-/End Date: 2014-07-23 - 2014-07-23

Legal Case

show

Project information

show

Source 1

show

hide

Title: 4th Workshop on Practical Aspects of Automated Reasoning

Abbreviation : PAAR 2014

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -