Mathematical Foundations of Computer Science 1980

9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings

Häftad, Engelska, 1980

Av P. Dembinski

689 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1980-08-01
Mått155 x 235 x 40 mm
Vikt1 095 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor726
Upplaga1980
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540100270

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it

Formal description of programming concepts.- Electronic category theory.- An essay about research on sparse NP complete sets.- Some theoretical aspects of applicative multiprocessing.- On some discrete optimization problems in mass storage systems.- Abstract data types: A retrospective and prospective view.- Controlling behaviours of systems : Some basic concepts and some applications.- Conceptual relations between databases transformed under join and projection.- The weighted Sperner's Set problem.- Proof of a concurrent program finding Euler paths.- A theoretical basis for the systematic proof method.- Consistent semantics for a data flow language.- Analog processes.- An extended polymorphic type system for applicative languages.- A criterion of undecidability of algorithmic theories.- On finding the optimal access path to resolve a relational data base query.- Compound algebraic implementations: An approach to stepwise refinement of software systems.- On and/or schemes.- A term model for CCS.- A mathematical approach to multi-pass parsing.- Abstract implementation of abstract data types.- Parallel algorithms in graph theory: Planarity testing (preliminary version).- On atomic nets and concurrency relations.- Node-label controlled graph grammars (Extended abstract).- A method to compare the descriptive power of different types of Petrinets.- A simple class of algorithmic specifications for abstract software modules.- Inducing patterns of behaviour in distributed system parts.- Van wijngaarden grammars as a special information processing model.- Approaches to concurrency in B-trees.- On a subclass of pseudopolynomial problems.- Decidability of reachability in persistent vector replacement systems.- Generalized heapsort.- Decidability results on a query language for data bases with incomplete information.- New results on completeness and consistency of abstract data types.- Asymptotic complexity of game-searching procedures.- Completeness in classical logic of complex algorithms.- Initially — Restricting algebraic theories.- Schemes for nonsequential processing systems.- Dynamic algebras which are not Kripke structures.- Time and space bounds in producing certain partial orders.- Axioms of algorithmic logic univocally determine semantics of programs.- A logical approach to the problem “P=NP?”.- Verifying concurrent system specifications in COSY.- Deadlocks and livelocks in transition systems.- Descriptional complexity of concurrent processes (preliminary version).- A uniform approach to applicative and imperative features in programming languages.- A resource allocation problem.- An 0(n 2 lognloglogn) expected time algorithm for the all shortest distance problem.- Decision complexity of variants of propositional dynamic logic.- Relativized obliviousness.- Abstract data types as lattices of finitely generated models.- The LR(k) parser.- Substitution systems — A family of system models based on concurrency.

Du kanske också är intresserad av

Finance: Servant or Deceiver?

Finance: Servant or Deceiver?

729 kr

Enron and World Finance

Enron and World Finance

P. Dembinski, C. Lager, A. Cornford, J. Bonvin

1 449 kr

Role of Large Enterprises in Democracy and Society

Role of Large Enterprises in Democracy and Society

B. Fryzel, P. Dembinski

709 kr

Finance: Servant or Deceiver?

Finance: Servant or Deceiver?

P. Dembinski, Professor Dembinski, Paul H.

729 kr

Role of Large Enterprises in Democracy and Society

Role of Large Enterprises in Democracy and Society

B. Fryzel, P. Dembinski, Barbara Fryzel, Professor Dembinski, Paul H.

709 kr

Hembiträdet

Nyhet

Del 1

Hembiträdet

Freida McFadden

79 kr125 kr

Hon som blev kvar

Hon som blev kvar

79 kr125 kr

Kalender 2026 Senator A5 4i1

Kalender 2026 Senator A5 4i1

Burde

179 kr

Sketchmarker 80 färger

Sketchmarker 80 färger

Carioca

599 kr995 kr

Book Nook - Rose Detective Agency

Book Nook - Rose Detective Agency

Cutebee

599 kr