1. Research UNE
  2. UNE
  3. Conference Publication
Please use this identifier to cite or link to this item: https://hdl.handle.net/1959.11/4498
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMason, Ian Alistairen
dc.contributor.authorTalcott, Carolyn Len
local.source.editorEditor(s): M Clavelen
dc.date.accessioned2010-02-04T16:22:00Z-
dc.date.issued2004-
dc.identifier.citationElectronic Notes in Theoretical Computer Science, v.117, p. 315-333en
dc.identifier.issn1571-0661en
dc.identifier.urihttps://hdl.handle.net/1959.11/4498-
dc.description.abstractWe describe a platform, IOP, for the interoperation of formal reasoning tools, and an adaptation of Maude, IMaude, that utilizes this platform. Three applications of IMaude and IOP to real world problem domains are described.en
dc.languageenen
dc.publisherElsevier BVen
dc.relation.ispartofElectronic Notes in Theoretical Computer Scienceen
dc.titleIOP: The InterOperability Platform & IMaude: An Interactive Extension of Maudeen
dc.typeConference Publicationen
dc.relation.conferenceWRLA 2004: 5th International Workshop on Rewriting Logic and its Applicationsen
dc.identifier.doi10.1016/j.entcs.2004.06.016en
dc.subject.keywordsMathematical Softwareen
local.contributor.firstnameIan Alistairen
local.contributor.firstnameCarolyn Len
local.subject.for2008080204 Mathematical Softwareen
local.subject.seo2008890202 Application Tools and System Utilitiesen
local.profile.schoolSchool of Science and Technologyen
local.profile.emailimason@une.edu.auen
local.output.categoryE4en
local.record.placeauen
local.record.institutionUniversity of New Englanden
local.identifier.epublicationsrecordpes:1764en
local.date.conference27th - 28th March, 2004en
local.conference.placeBarcelona, Spainen
local.publisher.placeNetherlandsen
local.format.startpage315en
local.format.endpage333en
local.identifier.volume117en
local.title.subtitleThe InterOperability Platform & IMaude: An Interactive Extension of Maudeen
local.contributor.lastnameMasonen
local.contributor.lastnameTalcotten
dc.identifier.staffune-id:imasonen
local.profile.roleauthoren
local.profile.roleauthoren
local.identifier.unepublicationidune:4605en
dc.identifier.academiclevelAcademicen
local.title.maintitleIOPen
local.output.categorydescriptionE4 Editorship of Scholarly Conference Proceedingsen
local.conference.detailsWRLA 2004: 5th International Workshop on Rewriting Logic and its Applications, Barcelona, 27th - 28th March, 2004en
local.search.authorMason, Ian Alistairen
local.search.authorTalcott, Carolyn Len
local.uneassociationUnknownen
local.year.published2004-
local.date.start2004-03-27-
local.date.end2004-03-28-
Appears in Collections:Conference Publication
Files in This Item:
2 files
File Description SizeFormat 
Show simple item record
Google Media

Google ScholarTM

Check

Altmetric


Items in Research UNE are protected by copyright, with all rights reserved, unless otherwise indicated.