skip to content
Foundations of software technology and theoretical computer science : 13th conference, Bombay, India, December 15-17, 1993 : proceedings Preview this item
ClosePreview this item
Checking...

Foundations of software technology and theoretical computer science : 13th conference, Bombay, India, December 15-17, 1993 : proceedings

Author: Rudrapatna K Shyamasundar
Publisher: Berlin : Springer, ©1993.
Series: Lecture notes in computer science, 761.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This volume of conference proceedings contains papers grouped into sections on type theory, parallel algorithms, term rewriting, logic programming, computational geometry and complexity, software  Read more...

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
Kongreß
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Rudrapatna K Shyamasundar
ISBN: 3540575294 9783540575290 0387575294 9780387575292
OCLC Number: 610853739
Notes: Le verso de la p. de titre porte: Rudrapatna K. Shyamasundar.
Nom du congrès: FST & TCS Conference.
Description: XIV, 453 Seiten : Illustrationen ; 25 cm.
Contents: Some observations about the nature of computer science.- Essential intersection type assignment.- Label-selective ?-calculus syntax and confluence.- Conventional and uniqueness typing in graph rewrite systems.- A meta-language for typed object-oriented languages.- Preemption in concurrent systems.- Local versus non-local computation of length of digitized curves.- Data-independences of parallel random access machines.- Proving termination of logic programs by transforming them into equivalent term rewriting systems.- Completeness of hierarchical combinations of term rewriting systems.- Higher-order and semantic unification.- A conservative extension of first-order logic and its applications to theorem proving.- Well-founded Ordered Search (extended abstract).- A real-time interval logic and its decision procedure.- On the semantics of optimization predicates in CLP languages.- Incremental algorithms for constraint solving and entailment over rational trees.- Proximity problems and the Voronoi diagram on a rectilinear plane with rectangular obstacles.- Feasibility of design in stereolithography.- Compact location problems.- On some communication complexity problems related to threshold functions.- Recursiveness over the complex numbers is time-bounded.- A lower bound for solvability of polynomial equations.- Reuse of proofs in software verification.- Induce-statements and induce-expressions: Constructs for inductive programming.- A graphic language based on timing diagrams.- Software technology: Integrating theory and practice.- Generating degrees of belief from statistical information: An overview.- Complexity results for 1-safe nets.- Some results about logical descriptions of non deterministic behaviours.- Order structures and generalisations of Szpilrajn's theorem.- ICSP and its relationship with ACSP and CSP.- On reduction-based process semantics.- Keeping track of the latest gossip: Bounded time-stamps suffice.- Time optimal self-stabilizing spanning tree algorithms.- Efficient algorithm to sort linear combinations of arrays.- A simple file structure for the weighted dictionary problem.- Searching, sorting and randomised algorithms for Central Elements and ideal counting in posets.- Learning classes of Regular and Linear Languages in Valiant's learnability framework.
Series Title: Lecture notes in computer science, 761.
Responsibility: R.K. Shyamasundar, (ed.).
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/610853739> # Foundations of software technology and theoretical computer science : 13th conference, Bombay, India, December 15-17, 1993 : proceedings
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "610853739" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4917809313#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Thing/berechenbare_geometrie_+_computergeometrie> ; # BERECHENBARE GEOMETRIE + COMPUTERGEOMETRIE
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Thing/theoretical_computer_science> ; # THEORETICAL COMPUTER SCIENCE
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Thing/traitement_parallele_+_simultaneite_systemes_d_exploitation> ; # TRAITEMENT PARALLELE + SIMULTANÉITÉ (SYSTÈMES D'EXPLOITATION)
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Thing/developpement_de_logiciels_genie_logiciel> ; # DEVELOPPEMENT DE LOGICIELS (GÉNIE LOGICIEL)
    schema:about <http://dewey.info/class/004/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Thing/entwicklungswerkzeuge_+_entwicklungstechniken_software_engineering> ; # ENTWICKLUNGSWERKZEUGE + ENTWICKLUNGSTECHNIKEN (SOFTWARE ENGINEERING)
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Thing/algorithmes_distribues_+_algorithmes_paralleles_methodes_de_programmation> ; # ALGORITHMES DISTRIBUÉS + ALGORITHMES PARALLÈLES (MÉTHODES DE PROGRAMMATION)
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Thing/informatique_theorique> ; # INFORMATIQUE THÉORIQUE
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Thing/parallel_processing_+_concurrency_operating_systems> ; # PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS)
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Thing/theoretische_informatik> ; # THEORETISCHE INFORMATIK
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Thing/c_1> ; # C.1
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Topic/logiciels> ; # Logiciels
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Topic/datenverarbeitung> ; # Datenverarbeitung
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Thing/parallelverarbeitung_+_nebenlaufigkeit_betriebssysteme> ; # PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME)
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Thing/verteilte_algorithmen_+_parallele_algorithmen_programmiermethoden> ; # VERTEILTE ALGORITHMEN + PARALLELE ALGORITHMEN (PROGRAMMIERMETHODEN)
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Thing/c_2> ; # C.2
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Topic/theoretische_informatik> ; # Theoretische Informatik
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Thing/computational_geometry_+_geometric_computations> ; # COMPUTATIONAL GEOMETRY + GEOMETRIC COMPUTATIONS
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Thing/development_tools_+_development_techniques_software_engineering> ; # DEVELOPMENT TOOLS + DEVELOPMENT TECHNIQUES (SOFTWARE ENGINEERING)
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Thing/distributed_algorithms_+_parallel_algorithms_programming_methods> ; # DISTRIBUTED ALGORITHMS + PARALLEL ALGORITHMS (PROGRAMMING METHODS)
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Topic/informatik> ; # Informatik
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Thing/geometrie_algorithmique_+_geometrie_assistee_par_ordinateur> ; # GÉOMÉTRIE ALGORITHMIQUE + GÉOMÉTRIE ASSISTÉE PAR ORDINATEUR
    schema:about <http://experiment.worldcat.org/entity/work/data/4917809313#Thing/d_3> ; # D.3
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/30204562> ; # Rudrapatna K. Shyamasundar
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4917809313#Meeting/conference_on_foundations_of_software_technology_and_theoretical_computer_science_13_1993_bombay> ; # Conference on Foundations of Software Technology and Theoretical Computer Science (13 : 1993 : Bombay)
    schema:copyrightYear "1993" ;
    schema:datePublished "1993" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4917809313> ;
    schema:genre "Kongreß" ;
    schema:genre "Kongress" ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4917809313#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Foundations of software technology and theoretical computer science : 13th conference, Bombay, India, December 15-17, 1993 : proceedings" ;
    schema:productID "610853739" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/610853739#PublicationEvent/berlin_springer_1993> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4917809313#Agent/springer> ; # Springer
    schema:url <http://opac.nebis.ch/cgi-bin/showAbstract.pl?u20=3540575294> ;
    schema:url <http://www.gbv.de/dms/bowker/toc/9780387575292.pdf> ;
    schema:url <https://doi.org/10.1007/3-540-57529-4> ;
    schema:url <http://dx.doi.org/10.1007/3-540-57529-4> ;
    schema:url <http://sfx.ethz.ch:9003/sfx_locater?sid=ALEPH:EBI01&issn=0302-9743&volume=761> ;
    schema:workExample <http://worldcat.org/isbn/9783540575290> ;
    schema:workExample <http://worldcat.org/isbn/9780387575292> ;
    umbel:isLike <http://d-nb.info/931619335> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/610853739> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4917809313#Meeting/conference_on_foundations_of_software_technology_and_theoretical_computer_science_13_1993_bombay> # Conference on Foundations of Software Technology and Theoretical Computer Science (13 : 1993 : Bombay)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4917809313#Place/bombay> ; # Bombay)
    schema:name "Conference on Foundations of Software Technology and Theoretical Computer Science (13 : 1993 : Bombay)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917809313#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/610853739> ; # Foundations of software technology and theoretical computer science : 13th conference, Bombay, India, December 15-17, 1993 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917809313#Thing/algorithmes_distribues_+_algorithmes_paralleles_methodes_de_programmation> # ALGORITHMES DISTRIBUÉS + ALGORITHMES PARALLÈLES (MÉTHODES DE PROGRAMMATION)
    a schema:Thing ;
    schema:name "ALGORITHMES DISTRIBUÉS + ALGORITHMES PARALLÈLES (MÉTHODES DE PROGRAMMATION)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917809313#Thing/berechenbare_geometrie_+_computergeometrie> # BERECHENBARE GEOMETRIE + COMPUTERGEOMETRIE
    a schema:Thing ;
    schema:name "BERECHENBARE GEOMETRIE + COMPUTERGEOMETRIE" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917809313#Thing/computational_geometry_+_geometric_computations> # COMPUTATIONAL GEOMETRY + GEOMETRIC COMPUTATIONS
    a schema:Thing ;
    schema:name "COMPUTATIONAL GEOMETRY + GEOMETRIC COMPUTATIONS" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917809313#Thing/development_tools_+_development_techniques_software_engineering> # DEVELOPMENT TOOLS + DEVELOPMENT TECHNIQUES (SOFTWARE ENGINEERING)
    a schema:Thing ;
    schema:name "DEVELOPMENT TOOLS + DEVELOPMENT TECHNIQUES (SOFTWARE ENGINEERING)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917809313#Thing/developpement_de_logiciels_genie_logiciel> # DEVELOPPEMENT DE LOGICIELS (GÉNIE LOGICIEL)
    a schema:Thing ;
    schema:name "DEVELOPPEMENT DE LOGICIELS (GÉNIE LOGICIEL)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917809313#Thing/distributed_algorithms_+_parallel_algorithms_programming_methods> # DISTRIBUTED ALGORITHMS + PARALLEL ALGORITHMS (PROGRAMMING METHODS)
    a schema:Thing ;
    schema:name "DISTRIBUTED ALGORITHMS + PARALLEL ALGORITHMS (PROGRAMMING METHODS)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917809313#Thing/entwicklungswerkzeuge_+_entwicklungstechniken_software_engineering> # ENTWICKLUNGSWERKZEUGE + ENTWICKLUNGSTECHNIKEN (SOFTWARE ENGINEERING)
    a schema:Thing ;
    schema:name "ENTWICKLUNGSWERKZEUGE + ENTWICKLUNGSTECHNIKEN (SOFTWARE ENGINEERING)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917809313#Thing/geometrie_algorithmique_+_geometrie_assistee_par_ordinateur> # GÉOMÉTRIE ALGORITHMIQUE + GÉOMÉTRIE ASSISTÉE PAR ORDINATEUR
    a schema:Thing ;
    schema:name "GÉOMÉTRIE ALGORITHMIQUE + GÉOMÉTRIE ASSISTÉE PAR ORDINATEUR" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917809313#Thing/informatique_theorique> # INFORMATIQUE THÉORIQUE
    a schema:Thing ;
    schema:name "INFORMATIQUE THÉORIQUE" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917809313#Thing/parallel_processing_+_concurrency_operating_systems> # PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS)
    a schema:Thing ;
    schema:name "PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917809313#Thing/parallelverarbeitung_+_nebenlaufigkeit_betriebssysteme> # PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME)
    a schema:Thing ;
    schema:name "PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917809313#Thing/theoretical_computer_science> # THEORETICAL COMPUTER SCIENCE
    a schema:Thing ;
    schema:name "THEORETICAL COMPUTER SCIENCE" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917809313#Thing/theoretische_informatik> # THEORETISCHE INFORMATIK
    a schema:Thing ;
    schema:name "THEORETISCHE INFORMATIK" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917809313#Thing/traitement_parallele_+_simultaneite_systemes_d_exploitation> # TRAITEMENT PARALLELE + SIMULTANÉITÉ (SYSTÈMES D'EXPLOITATION)
    a schema:Thing ;
    schema:name "TRAITEMENT PARALLELE + SIMULTANÉITÉ (SYSTÈMES D'EXPLOITATION)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917809313#Thing/verteilte_algorithmen_+_parallele_algorithmen_programmiermethoden> # VERTEILTE ALGORITHMEN + PARALLELE ALGORITHMEN (PROGRAMMIERMETHODEN)
    a schema:Thing ;
    schema:name "VERTEILTE ALGORITHMEN + PARALLELE ALGORITHMEN (PROGRAMMIERMETHODEN)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917809313#Topic/datenverarbeitung> # Datenverarbeitung
    a schema:Intangible ;
    schema:name "Datenverarbeitung" ;
    .

<http://experiment.worldcat.org/entity/work/data/4917809313#Topic/theoretische_informatik> # Theoretische Informatik
    a schema:Intangible ;
    schema:name "Theoretische Informatik" ;
    .

<http://viaf.org/viaf/30204562> # Rudrapatna K. Shyamasundar
    a schema:Person ;
    schema:familyName "Shyamasundar" ;
    schema:givenName "Rudrapatna K." ;
    schema:name "Rudrapatna K. Shyamasundar" ;
    .

<http://worldcat.org/isbn/9780387575292>
    a schema:ProductModel ;
    schema:isbn "0387575294" ;
    schema:isbn "9780387575292" ;
    .

<http://worldcat.org/isbn/9783540575290>
    a schema:ProductModel ;
    schema:isbn "3540575294" ;
    schema:isbn "9783540575290" ;
    .

<http://www.worldcat.org/title/-/oclc/610853739>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/610853739> ; # Foundations of software technology and theoretical computer science : 13th conference, Bombay, India, December 15-17, 1993 : proceedings
    schema:dateModified "2018-09-28" ;
    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.