BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Many-Sorted Equivalence of Shiny and Strongly Polite Theories

Participants in the publication
Filipe Casal (Author)
Dep. Informática
 LASIGE
 João Rasga (Author)

Date of Publication
2017-03-11

Where published
Journal of Automated Reasoning

Publication Identifiers
ISSN - 0168-7433

Publisher
Springer Nature

Volume
60
Number
2

Starting page
221
Last page
236

Document Identifiers
DOI - https://doi.org/10.1007/s10817-017-9411-y
URL - http://dx.doi.org/10.1007/s10817-017-9411-y


Export

APA
Filipe Casal, João Rasga, (2017). Many-Sorted Equivalence of Shiny and Strongly Polite Theories. Journal of Automated Reasoning, 60, 221-236. ISSN 0168-7433. eISSN . http://dx.doi.org/10.1007/s10817-017-9411-y

IEEE
Filipe Casal, João Rasga, "Many-Sorted Equivalence of Shiny and Strongly Polite Theories" in Journal of Automated Reasoning, vol. 60, pp. 221-236, 2017. 10.1007/s10817-017-9411-y

BIBTEX
@article{37973, author = {Filipe Casal and João Rasga}, title = {Many-Sorted Equivalence of Shiny and Strongly Polite Theories}, journal = {Journal of Automated Reasoning}, year = 2017, pages = {221-236}, volume = 60 }