For more than a decade, Foundations of Software Technologyand Theoretical Computer Science Conferences have beenproviding an annual forum for the presentation of newresearch results in India and abroad. This year, 119 papersfrom 20 countries were submitted. Each paper was reviewed byat least three reviewers, and 33 papers were selected forpresentation and included in this volume, grouped into partson type theory, parallel algorithms, term rewriting, logicand constraint logic programming, computational geometry andcomplexity, software technology, concurrency, distributedalgorithms, and algorithms and learning theory. Alsoincluded in the volume are the five invited papers presentedat theconference.

Produktinformation

Utgivningsdatum:1993-11-23
Mått:155 x 235 x 26 mm
Vikt:715 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:462
Upplaga:1993
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540575290

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

Innehållsförteckning

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.

Mer från samma författare

Del 11952

Information Systems Security

Deepak Garg, N. V. Narendra Kumar, Rudrapatna K. Shyamasundar

Häftad, 2019

572 kr

Information Systems Security

Rudrapatna K. Shyamasundar, N. V. Narendra Kumar, Deepak Garg

E-bok

2019

739 kr

Rajiv Misra, Rudrapatna K. Shyamasundar, Amrita Chaturvedi, Rana Omer - Machine Learning and Big Data Analytics (Proceedings of International Conference on Machine Learning and Big Data Analytics (ICMLBDA) 2021), Häftad

Del 256

Machine Learning and Big Data Analytics (Proceedings of International Conference on Machine Learning and Big Data Analytics (ICMLBDA) 2021)

Rajiv Misra, Rudrapatna K. Shyamasundar, Amrita Chaturvedi, Rana Omer

Häftad, 2021

1 927 kr

Machine Learning and Big Data Analytics (Proceedings of International Conference on Machine Learning and Big Data Analytics (ICMLBDA) 2021)

Rana Omer, Amrita Chaturvedi, Rudrapatna K. Shyamasundar, Rajiv Misra

E-bok

2021

2 455 kr

Del 13146

Information Systems Security

Somanath Tripathy, Rudrapatna K. Shyamasundar, Rajiv Ranjan

Häftad, 2021

741 kr

Information Systems Security

Rajiv Ranjan, Rudrapatna K. Shyamasundar, Somanath Tripathy

E-bok

2021

903 kr

Del 13733

Blockchain – ICBC 2022

Shiping Chen, Rudrapatna K. Shyamasundar, Liang-Jie Zhang

Häftad, 2022

628 kr

Blockchain - ICBC 2022

Liang-Jie Zhang, Rudrapatna K. Shyamasundar, Shiping Chen

E-bok

2022

813 kr

Blockchain - ICBC 2022 : 5th International Conference, Held as part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14

Shiping Chen, Rudrapatna K. Shyamasundar

672 kr

Del 13784

Information Systems Security

Venkata Ramana Badarla, Surya Nepal, Rudrapatna K. Shyamasundar

Häftad, 2022

741 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

Adventskalender Ravensburger pussel 2026

Ravensburger

319 kr

Cellular Automata: Prospects In Astrophysical Applications - Proceedings Of The Workshop On Cellular Automata Models For Astrophysical Phenomena

Perdang J M Perdang, Lejeune A Lejeune

E-bok

1993

568 kr