skip to content
Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, the Philippines, December 8-10, 1998 : proceedings Preview this item
ClosePreview this item
Checking...

Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, the Philippines, December 8-10, 1998 : proceedings

Author: Jieh Hsiang; Atsushi Ohori
Publisher: Berlin ; New York : Springer, ©1998.
Series: Lecture notes in computer science, 1538.
Edition/Format:   Print book : Document : Conference publication   Computer File : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongress
Conference papers and proceedings
Manila (1998)
Congresses
Congrès
Material Type: Conference publication, Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: Jieh Hsiang; Atsushi Ohori
ISBN: 3540653880 9783540653882
OCLC Number: 40338585
Description: x, 304 pages : illustrations ; 24 cm.
Contents: Invited Talk 1.- Testing Proofs by Examples.- Session 1.- Rigid Reachability.- Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover.- A Polymorphic Language Which Is Typable and Poly-step.- Cut Elimination for Classical Proofs as Continuation Passing Style Computation.- Tutorial 1.- Semantics and Logic for Provable Fault-Tolerance, A Tutorial.- Invited Talk 2.- The Rewriting Calculus as a Semantics of ELAN.- Session 2.- Tried Linear Hashing.- A New Factoring Algorithm for Magic Predicates.- An Optimal Parallel Algorithm for the Perfect Dominating Set Problem on Distance-Hereditary Graphs.- Session 3.- Taxonomy and Expressiveness of Preemption: A Syntactic Approach.- Exploring Regional Locality in Distributed Shared Memory.- Guaranteed Mutually Consistent Checkpointing in Distributed Computations.- Session 4.- Type Inference for First-Class Messages with Feature Constraints.- Two Flavors of Offine Partial Evaluation.- First-Class Contexts in ML.- Keynote Address.- Formal Methods: Past, Present, and Future.- Session 5.- A Comparison of Petri Net Semantics under the Collective Token Philosophy.- Bisimulation Lattice of Chi Processes.- Eventuality in LOTOS with a Disjunction Operator.- Towards a Characterisation of Finite-State Message-Passing Systems.- Tutorial 2.- Mobile Computation: Calculus and Languages (A Tutorial).
Series Title: Lecture notes in computer science, 1538.
Responsibility: Jieh Hsiang, Atsushi Ohori (eds.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/40338585> # Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, the Philippines, December 8-10, 1998 : proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "40338585" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/774317787#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/774317787#Topic/informatik> ; # Informatik
    schema:about <http://experiment.worldcat.org/entity/work/data/774317787#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/774317787#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
    schema:about <http://experiment.worldcat.org/entity/work/data/774317787#Topic/arquitetura_de_sistemas_de_computacao> ; # Arquitetura de sistemas de computacao
    schema:about <http://experiment.worldcat.org/entity/work/data/774317787#Topic/berechnungstheorie> ; # Berechnungstheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/774317787#Topic/programmiersprache> ; # Programmiersprache
    schema:about <http://experiment.worldcat.org/entity/work/data/774317787#Topic/programacao_de_computadores> ; # Programacao de computadores
    schema:about <http://experiment.worldcat.org/entity/work/data/774317787#Topic/informatique_congres> ; # Informatique--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/774317787#Topic/kongress> ; # Kongress
    schema:about <http://experiment.worldcat.org/entity/work/data/774317787#Topic/electronic_data_processing> ; # Electronic data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/774317787#Topic/formale_sprache> ; # Formale Sprache
    schema:about <http://dewey.info/class/004/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/774317787#Topic/technologie_de_l_information> ; # Technologie de l'information
    schema:about <http://experiment.worldcat.org/entity/work/data/774317787#Topic/informatica> ; # Informatica
    schema:about <http://experiment.worldcat.org/entity/work/data/774317787#Topic/computer_science> ; # Computer science
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/40213309> ; # Jieh Hsiang
    schema:contributor <http://viaf.org/viaf/50283907> ; # Atsushi Ohori
    schema:copyrightYear "1998" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/774317787#Meeting/asian_computing_science_conference_4th_1998_manila_philippines> ; # Asian Computing Science Conference (4th : 1998 : Manila, Philippines)
    schema:datePublished "1998" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/774317787> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Kongress"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Manila (1998)"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/774317787#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, the Philippines, December 8-10, 1998 : proceedings"@en ;
    schema:productID "40338585" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/40338585#PublicationEvent/berlin_new_york_springer_1998> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/774317787#Agent/springer> ; # Springer
    schema:url <http://link.springer.de/link/service/series/0558/tocs/t1538.htm> ;
    schema:url <http://link.springer.com/10.1007/3-540-49366-2> ;
    schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t1538.htm> ;
    schema:url <http://swbplus.bsz-bw.de/bsz071063048kap.htm> ;
    schema:url <http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc> ;
    schema:url <http://dx.doi.org/10.1007/3-540-49366-2> ;
    schema:url <http://swbplus.bsz-bw.de/bsz071063048cov.htm> ;
    schema:url <http://swbplus.bsz-bw.de/bsz071063048inh.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783540653882> ;
    umbel:isLike <http://d-nb.info/954963490> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9902204> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/40338585> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/774317787#Meeting/asian_computing_science_conference_4th_1998_manila_philippines> # Asian Computing Science Conference (4th : 1998 : Manila, Philippines)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/774317787#Place/manila_philippines> ; # Manila, Philippines)
    schema:name "Asian Computing Science Conference (4th : 1998 : Manila, Philippines)" ;
    .

<http://experiment.worldcat.org/entity/work/data/774317787#Place/manila_philippines> # Manila, Philippines)
    a schema:Place ;
    schema:name "Manila, Philippines)" ;
    .

<http://experiment.worldcat.org/entity/work/data/774317787#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/40338585> ; # Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, the Philippines, December 8-10, 1998 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/774317787#Topic/arquitetura_de_sistemas_de_computacao> # Arquitetura de sistemas de computacao
    a schema:Intangible ;
    schema:name "Arquitetura de sistemas de computacao"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/774317787#Topic/automatisches_beweisverfahren> # Automatisches Beweisverfahren
    a schema:Intangible ;
    schema:name "Automatisches Beweisverfahren"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/774317787#Topic/berechnungstheorie> # Berechnungstheorie
    a schema:Intangible ;
    schema:name "Berechnungstheorie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/774317787#Topic/informatique_congres> # Informatique--Congrès
    a schema:Intangible ;
    schema:name "Informatique--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/774317787#Topic/programacao_de_computadores> # Programacao de computadores
    a schema:Intangible ;
    schema:name "Programacao de computadores"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/774317787#Topic/programmiersprache> # Programmiersprache
    a schema:Intangible ;
    schema:name "Programmiersprache"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/774317787#Topic/technologie_de_l_information> # Technologie de l'information
    a schema:Intangible ;
    schema:name "Technologie de l'information"@fr ;
    .

<http://link.springer.com/10.1007/3-540-49366-2>
    rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://link.springer.de/link/service/series/0558/tocs/t1538.htm>
    rdfs:comment "Sommaire + texte intégral (accès réservé)" ;
    .

<http://link.springer-ny.com/link/service/series/0558/tocs/t1538.htm>
    rdfs:comment "Restricted to Springer LINK subscribers" ;
    .

<http://viaf.org/viaf/40213309> # Jieh Hsiang
    a schema:Person ;
    schema:birthDate "1954" ;
    schema:familyName "Hsiang" ;
    schema:givenName "Jieh" ;
    schema:name "Jieh Hsiang" ;
    .

<http://viaf.org/viaf/50283907> # Atsushi Ohori
    a schema:Person ;
    schema:birthDate "1957" ;
    schema:familyName "Ohori" ;
    schema:givenName "Atsushi" ;
    schema:name "Atsushi Ohori" ;
    .

<http://worldcat.org/isbn/9783540653882>
    a schema:ProductModel ;
    schema:isbn "3540653880" ;
    schema:isbn "9783540653882" ;
    .

<http://www.worldcat.org/title/-/oclc/40338585>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/40338585> ; # Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, the Philippines, December 8-10, 1998 : proceedings
    schema:dateModified "2017-09-22" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.