Towards a Better-behaved Unification Algorithm for Coq

Ziliani, Beta; Sozeau, Matthieu

Local TagsRelease HistoryDetailsSummary

Towards a Better-behaved Unification Algorithm for Coq

Ziliani, B., & Sozeau, M. (2014). Towards a Better-behaved Unification Algorithm for Coq. In T. Kutsia, & C. Ringeissen (Eds.), The 28th International Workshop on Unification (pp. 74-87). Linz: Johannes Kepler University. Retrieved from http://www.risc.jku.at/publications/download/risc_5001/proceedings-UNIF2014.pdf.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0026-B440-A Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0026-B445-F

Genre: Conference Paper

Latex : Towards a Better-behaved Unification Algorithm for {Coq}

Files

show Files

Locators

show

Creators

show

hide

Creators:
Ziliani, Beta¹, Author
Sozeau, Matthieu², Author

Affiliations:
1Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society, ou_2105286
2External Organizations, ou_persistent22

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: ZilianiUNIF2014
URI: http://www.risc.jku.at/publications/download/risc_5001/proceedings-UNIF2014.pdf

Degree: -

Event

show

hide

Title: 28th International Workshop on Unification

Place of Event: Vienna, Austria

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

Legal Case

show

Project information

show

Source 1

show

hide

Title: The 28th International Workshop on Unification

Abbreviation : UNIF 2014

Subtitle : A FLoC workshop at Vienna Summer of Logic 2014 ; Workshop Proceedings

Source Genre: Proceedings

Creator(s):
Kutsia, Temur¹, Editor
Ringeissen, Christophe¹, Editor

Affiliations:
1 External Organizations, ou_persistent22

Publ. Info: Linz : Johannes Kepler University

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

Source 2

show

hide

Title: RISC-Linz Report Series

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

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