Items related to Mathematical Foundations of Computer Science 1976:...
Mathematical Foundations of Computer Science 1976: 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings (Lecture Notes in Computer Science, 45) - Softcover
Rare book
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1976
- ISBN 10 3540078541
- ISBN 13 9783540078548
- BindingPaperback
- Number of pages624
- EditorMazurkiewicz A.
Buy New
Learn more about this copy
US$ 110.37
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Mathematical Foundations of Computer Science 1976: 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings (Lecture Notes in Computer Science (45)) by Mazurkiewicz, A. [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540078548
Buy New
US$ 110.37
Convert currency
Stock Image
Mathematical Foundations of Computer Science 1976: 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings (Lecture Notes in Computer Science, 45)
Published by
Springer
(1976)
ISBN 10: 3540078541
ISBN 13: 9783540078548
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020157858
Buy New
US$ 116.93
Convert currency
Stock Image
Mathematical Foundations of Computer Science 1976 : 5th Symposium at Gdansk; Sept. 6-10; 1976. Proceedings
Published by
Springer
(1976)
ISBN 10: 3540078541
ISBN 13: 9783540078548
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540078548_lsuk
Buy New
US$ 123.51
Convert currency
Seller Image
Mathematical Foundations of Computer Science 1976
Published by
Springer Berlin Heidelberg Jul 1976
(1976)
ISBN 10: 3540078541
ISBN 13: 9783540078548
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Exercises in denotational semantics.- W-automata and their languages.- On semantic issues in the relational model of data.- The effective arrangement of logical systems.- Recursivity, sequence recursivity, stack recursivity and semantics of programs.- Descriptional complexity (of languages) a short survey.- On the branching structure of languages.- Algorithms and real numbers.- On mappings of machines.- Recent results on L systems.- Decision problems for multi-tape automata.- Recursive program schemes and computable functionals.- Some fundamentals of order-algebraic semantics.- On attribute grammars.- Formal definition of semantics of generalized control regimes.- Minimal while programs.- On specific features of recognizable families of languages.- On the termination of simple computer programs.- Reduction of Petri-nets.- On behaviour of R-fuzzy automata.- Cannonizing reducibility method in the theory of program schemata.- Strongly connected G-S-M mappings preserving conjugation.- Analysis of the non-context-free component of formal languages.- Programs, computations and temporal features.- A note on the automatic generation of inductive assertions.- On the relationship between a procedure and its data.- On the relativization of deterministic and nondeterministic complexity classes.- The metric properties on the semigroups and the languages.- A lower bound of 1/2n2 on linear search programs for the knapsack problem.- The direct product of automata and quasi-automata.- An axiomatic approach to information structures.- Parallelism of manipulations in multidimensional information structures.- On strict interpretations of grammar forms.- A hierarchy of context-sensitive languages.- On consecutive storage of records.- A remark on equivalence of Mazurkiewicz's finite ¿ control algorithms over nets.- Microprogram ¿ Oriented model of the controlled structure.- Relations between programs with different storage requirements.- An algebraic approach to data types, program verification, and program synthesis.- About three equational classes of languages built up by shuffle operations.- A machine independent description of complexity classes, definable by nondeterministic as well as deterministic turing machines with primitiv recursive tape or time bounds.- Schemes with recursion on higher types.- Constructing iterative version of a system of recursive procedures.- A method using a set-theoretical formalism to describe the semantics of programming languages.- The cubic search method.- Vectors of coroutines.- One ¿ one degrees of Turing machines decision problems.- Heuristic representation of state-space by finite automaton.- Semigroup characterizations of some language varieties.- On memory requirements of Strassen's algorithms.- Determinism in concurrent systems.- Generating control mechanisms by restrictions.- On diagnosis of algorithmical processes.- On some properties of cyclic automata and their extensions.- Compiler generation using denotational semantics.- On divergence problem for program schemas.- On the parsing of LL-regular grammars.- The characteristic polynomial of a finite automaton.- Error detection using regular languages.- On a relationship between programs of address machines and Mazurkiewicz algorithms.- DIJKSTRA's predicate transformer, non-determinism, recursion, and termination.- Context-free programmed grammars and ETOL systems.- Context-free algebra: A mathematical device for compiler specification.- On the lower bound for minimum comparison selection.- Computational processes generated by programs with /recursive/ procedures and block structures.- An algebraic framework for the study of the syntactic monoids application to the group languages.- Degrees of parallelism in computations.- On adaptability of a system of programs.- A mathematical model of parallel information processing.- Powerdomains.- On the domain of iteration in iterative algebraic theories.- The influence of the data presentation on the computational power of machines.- On sequential modelling of non-sequential processes.- Equivalence and optimization of recursive program schemata.- Observability concepts in abstract data type specification.- The calculus of facts.- Multiplicity functions on -automata.- A complete axiomatic characterization of algorithmic properties of block-structured programs with procedures. 624 pp. Englisch. Seller Inventory # 9783540078548
Buy New
US$ 123.84
Convert currency
Seller Image
Mathematical Foundations of Computer Science 1976
Published by
Springer Berlin Heidelberg
(1976)
ISBN 10: 3540078541
ISBN 13: 9783540078548
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Exercises in denotational semantics.- W-automata and their languages.- On semantic issues in the relational model of data.- The effective arrangement of logical systems.- Recursivity, sequence recursivity, stack recursivity and semantics of programs.- Descr. Seller Inventory # 4879781
Buy New
US$ 101.72
Convert currency
Seller Image
Mathematical Foundations of Computer Science 1976 : 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings
Published by
Springer Berlin Heidelberg
(1976)
ISBN 10: 3540078541
ISBN 13: 9783540078548
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Exercises in denotational semantics.- W-automata and their languages.- On semantic issues in the relational model of data.- The effective arrangement of logical systems.- Recursivity, sequence recursivity, stack recursivity and semantics of programs.- Descriptional complexity (of languages) a short survey.- On the branching structure of languages.- Algorithms and real numbers.- On mappings of machines.- Recent results on L systems.- Decision problems for multi-tape automata.- Recursive program schemes and computable functionals.- Some fundamentals of order-algebraic semantics.- On attribute grammars.- Formal definition of semantics of generalized control regimes.- Minimal while programs.- On specific features of recognizable families of languages.- On the termination of simple computer programs.- Reduction of Petri-nets.- On behaviour of R-fuzzy automata.- Cannonizing reducibility method in the theory of program schemata.- Strongly connected G-S-M mappings preserving conjugation.- Analysis of the non-context-free component of formal languages.- Programs, computations and temporal features.- A note on the automatic generation of inductive assertions.- On the relationship between a procedure and its data.- On the relativization of deterministic and nondeterministic complexity classes.- The metric properties on the semigroups and the languages.- A lower bound of 1/2n2 on linear search programs for the knapsack problem.- The direct product of automata and quasi-automata.- An axiomatic approach to information structures.- Parallelism of manipulations in multidimensional information structures.- On strict interpretations of grammar forms.- A hierarchy of context-sensitive languages.- On consecutive storage of records.- A remark on equivalence of Mazurkiewicz's finite ¿ control algorithms over nets.- Microprogram ¿ Oriented model of the controlled structure.- Relations between programs with different storage requirements.- An algebraic approach to data types, program verification, and program synthesis.- About three equational classes of languages built up by shuffle operations.- A machine independent description of complexity classes, definable by nondeterministic as well as deterministic turing machines with primitiv recursive tape or time bounds.- Schemes with recursion on higher types.- Constructing iterative version of a system of recursive procedures.- A method using a set-theoretical formalism to describe the semantics of programming languages.- The cubic search method.- Vectors of coroutines.- One ¿ one degrees of Turing machines decision problems.- Heuristic representation of state-space by finite automaton.- Semigroup characterizations of some language varieties.- On memory requirements of Strassen's algorithms.- Determinism in concurrent systems.- Generating control mechanisms by restrictions.- On diagnosis of algorithmical processes.- On some properties of cyclic automata and their extensions.- Compiler generation using denotational semantics.- On divergence problem for program schemas.- On the parsing of LL-regular grammars.- The characteristic polynomial of a finite automaton.- Error detection using regular languages.- On a relationship between programs of address machines and Mazurkiewicz algorithms.- DIJKSTRA's predicate transformer, non-determinism, recursion, and termination.- Context-free programmed grammars and ETOL systems.- Context-free algebra: A mathematical device for compiler specification.- On the lower bound for minimum comparison selection.- Computational processes generated by programs with /recursive/ procedures and block structures.- An algebraic framework for the study of the syntactic monoids application to the group languages.- Degrees of parallelism in computations.- On adaptability of a system of programs.- A mathematical model of parallel information processing.- Powerdomains.- On the domain of iteration in iterative algebraic theories.- The influence of the data presentation on the computational power of machines.- On sequential modelling of non-sequential processes.- Equivalence and optimization of recursive program schemata.- Observability concepts in abstract data type specification.- The calculus of facts.- Multiplicity functions on -automata.- A complete axiomatic characterization of algorithmic properties of block-structured programs with procedures. Seller Inventory # 9783540078548
Buy New
US$ 125.56
Convert currency