Show simple item record

dc.contributor.authorStuckey, PJ
dc.contributor.authorSulzmann, M
dc.contributor.authorWazny, J
dc.contributor.editorKobayashi, N
dc.date.available2014-05-21T23:04:29Z
dc.date.issued2006-01-01
dc.identifierhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000243130400001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=d4d813f4571fa7d6246bdc0dfeca3a1c
dc.identifier.citationStuckey, P. J., Sulzmann, M. & Wazny, J. (2006). Type processing by constraint reasoning. Kobayashi, N (Ed.) PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 4279, pp.1-+. SPRINGER-VERLAG BERLIN. https://doi.org/10.1007/11924661_1.
dc.identifier.isbn3-540-48937-1
dc.identifier.isbn9783540489375
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/11343/29425
dc.languageEnglish
dc.publisherSPRINGER-VERLAG BERLIN
dc.source4th Asian Symposium on Programming Languages and Systems
dc.subjectComputer Software
dc.titleType processing by constraint reasoning
dc.typeConference Paper
dc.identifier.doi10.1007/11924661_1
melbourne.peerreviewPeer Reviewed
melbourne.affiliationThe University of Melbourne
melbourne.affiliation.departmentComputer Science and Software Engineering
melbourne.source.titleLecture Notes in Computer Science
melbourne.source.volume4279
melbourne.source.pages1-+
melbourne.publicationid56142
melbourne.elementsid279973
melbourne.contributor.authorStuckey, Peter
melbourne.contributor.authorWAZNY, JEREMY RICHARD
dc.identifier.eissn1611-3349
melbourne.event.locationSydney, AUSTRALIA
melbourne.accessrightsThis item is currently not available from this repository


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record