A Decision Procedure for (Co)datatypes in SMT Solvers

Reynolds, Andrew; Blanchette, Jasmin Christian

doi:10.1007/s10817-016-9372-6

Local TagsRelease HistoryDetailsSummary

A Decision Procedure for (Co)datatypes in SMT Solvers

Reynolds, A., & Blanchette, J. C. (2017). A Decision Procedure for (Co)datatypes in SMT Solvers. Journal of Automated Reasoning, 58(3), 341-362. doi:10.1007/s10817-016-9372-6.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-80D4-C Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-80D5-A

Genre: Journal Article

Latex : A Decision Procedure for (Co)datatypes in {SMT} Solvers

Files

show Files

Locators

show

Creators

show

hide

Creators:
Reynolds, Andrew¹, Author
Blanchette, Jasmin Christian², Author

Affiliations:
1External Organizations, ou_persistent22
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2017Date issued: 2017

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: DBLP:journals/jar/ReynoldsB17
DOI: 10.1007/s10817-016-9372-6

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Journal of Automated Reasoning

Source Genre: Journal

Creator(s):
Kambhampati, Subbarao¹, Editor

Affiliations:
1 External Organizations, ou_persistent22

Publ. Info: New York, NY : Springer

Pages: - Volume / Issue: 58 (3) Sequence Number: - Start / End Page: 341 - 362 Identifier: ISSN: 0168-7433
CoNE: https://pure.mpg.de/cone/journals/resource/954926965948