Items related to Mathematical Foundations of Computer Science 1984:...

Mathematical Foundations of Computer Science 1984: 11th Symposium Praha, Czechoslovakia September 3-7, 1984. Proceedings (Lecture Notes in Computer Science, 176) - Softcover

 
9783540133728: Mathematical Foundations of Computer Science 1984: 11th Symposium Praha, Czechoslovakia September 3-7, 1984. Proceedings (Lecture Notes in Computer Science, 176)

Synopsis

Separating, strongly separating, and collapsing relativized complexity classes.- Complexity of quantifier elimination in the theory of algebraically closed fields.- Systolic automata - power, characterizations, nonhomogeneity.- A note on unique decipherability.- Outline of an algebraic language theory.- Thue systems and the Church-Rosser property.- Limits, higher type computability and type-free languages.- Traces, histories, Instances of a process monoid.- Recent results on automata and infinite words.- VLSI algorithms and architectures.- Decidability of monadic theories.- On the Ehrenfeucht conjecture on test sets and its dual version.- Sparse oracles, lowness, and highness.- Computability of probabilistic parameters for some classes of formal languages.- A truely morphic characterization of recursively enumerable sets.- On the Herbrand Kleene universe for nondeterministic computations.- An investigation of controls for concurrent systems by abstract control languages.- On generalized words of Thue-Morse.- Nondeterminism is essential for two-way counter machines.- Weak and strong fairness in CCS.- On the complexity of inductive inference.- Monotone edge sequences in line arrangements and applications.- Many-sorted temporal logic for multi-processes systems.- Process logics : two decidability results.- On searching of special classes of mazes and finite embedded graphs.- The power of the future perfect in program logics.- Hierarchy of reversal and zerotesting bounded multicounter machines.- On the power of alternation in finite automata.- The equivalence problem and correctness formulas for a simple class of programs.- Lower bounds for polygon simplicity testing and other problems.- A uniform independence of invariant sentences.- On the equivalence of compositions of morphisms and inverse morphisms on regular languages.- Some connections between presentability of complexity classes and the power of formal systems of reasoning.- Finding a maximum flow in /s,t/-planar network in linear expected time.- Nondeterministic logspace reductions.- Factoring multivariate polynomials over algebraic number fields.- Gödel numberings, principal morphisms, combinatory algebras.- Representations of integers and language theory.- New lower bound for polyhedral membership problem with an application to linear programming.- Decidability of the equivalence problem for synchronous deterministic pushdown automata.- Models and operators for nondeterministic processes.- Algorithms for string editing which permit arbitrarily complex edit constraints.- The structure of polynomial complexity cores.- Solving visibility problems by using skeleton structures.- Another look at parameterization using algebras with subsorts.- A lower bound on complexity of branching programs.- From dynamic algebras to test algebras.- Combinatorial games with exponential space complete decision problems.- Fast recognitions of pushdown automaton and context-free languages.- Multiprocessor systems and their concurrency.- Free constructions in algebraic institutions.- Remarks on comparing expressive power of logics of programs.- The complexity of problems concerning graphs with regularities.- On the complexity of slice functions.- An exponential lower bound for one-time-only branching programs.- A topological view of some problems in complexity theory.- Propositional dynamic logic with strong loop predicate.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: Very Good
We are unable to ship to Canada...
View this item

US$ 6.99 shipping within U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

9780387133720: Mathematical Foundations of Computer Science 1984 (SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE//MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE)

Featured Edition

ISBN 10:  0387133720 ISBN 13:  9780387133720
Publisher: Springer Verlag, 1984
Softcover

Search results for Mathematical Foundations of Computer Science 1984:...

Stock Image

Chytil, M.P. [Editor]; Koubek, V. [Editor];
Published by Springer, 1984
ISBN 10: 3540133720 ISBN 13: 9783540133728
Used Paperback

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UTD14a-0217

Contact seller

Buy Used

US$ 50.85
Convert currency
Shipping: US$ 6.99
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Chytil, M. P. (EDT); Koubek, V.
Published by Springer, 1984
ISBN 10: 3540133720 ISBN 13: 9783540133728
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 5908347-n

Contact seller

Buy New

US$ 61.30
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: 15 available

Add to basket

Stock Image

M.P. Chytil
ISBN 10: 3540133720 ISBN 13: 9783540133728
New Paperback

Seller: Grand Eagle Retail, Mason, OH, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: new. Paperback. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783540133728

Contact seller

Buy New

US$ 63.95
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1984
ISBN 10: 3540133720 ISBN 13: 9783540133728
New Softcover

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540133728

Contact seller

Buy New

US$ 54.99
Convert currency
Shipping: US$ 8.98
Within U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 1984
ISBN 10: 3540133720 ISBN 13: 9783540133728
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020160184

Contact seller

Buy New

US$ 60.29
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Chytil, M. P. (EDT); Koubek, V.
Published by Springer, 1984
ISBN 10: 3540133720 ISBN 13: 9783540133728
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 5908347

Contact seller

Buy Used

US$ 69.94
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: 15 available

Add to basket

Stock Image

Published by Springer, 1984
ISBN 10: 3540133720 ISBN 13: 9783540133728
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540133728_new

Contact seller

Buy New

US$ 68.20
Convert currency
Shipping: US$ 16.15
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

V. Koubek
ISBN 10: 3540133720 ISBN 13: 9783540133728
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Separating, strongly separating, and collapsing relativized complexity classes.- Complexity of quantifier elimination in the theory of algebraically closed fields.- Systolic automata ¿ power, characterizations, nonhomogeneity.- A note on unique decipherability.- Outline of an algebraic language theory.- Thue systems and the Church-Rosser property.- Limits, higher type computability and type-free languages.- Traces, histories, graphs: Instances of a process monoid.- Recent results on automata and infinite words.- VLSI algorithms and architectures.- Decidability of monadic theories.- On the Ehrenfeucht conjecture on test sets and its dual version.- Sparse oracles, lowness, and highness.- Computability of probabilistic parameters for some classes of formal languages.- A truely morphic characterization of recursively enumerable sets.- On the Herbrand Kleene universe for nondeterministic computations.- An investigation of controls for concurrent systems by abstract control languages.- On generalized words of Thue-Morse.- Nondeterminism is essential for two-way counter machines.- Weak and strong fairness in CCS.- On the complexity of inductive inference.- Monotone edge sequences in line arrangements and applications.- Many-sorted temporal logic for multi-processes systems.- Process logics : two decidability results.- On searching of special classes of mazes and finite embedded graphs.- The power of the future perfect in program logics.- Hierarchy of reversal and zerotesting bounded multicounter machines.- On the power of alternation in finite automata.- The equivalence problem and correctness formulas for a simple class of programs.- Lower bounds for polygon simplicity testing and other problems.- A uniform independence of invariant sentences.- On the equivalence of compositions of morphisms and inverse morphisms on regular languages.- Some connections between presentability of complexity classes and the power of formal systems of reasoning.- Finding a maximum flow in /s,t/-planar network in linear expected time.- Nondeterministic logspace reductions.- Factoring multivariate polynomials over algebraic number fields.- G¿del numberings, principal morphisms, combinatory algebras.- Representations of integers and language theory.- New lower bound for polyhedral membership problem with an application to linear programming.- Decidability of the equivalence problem for synchronous deterministic pushdown automata.- Models and operators for nondeterministic processes.- Algorithms for string editing which permit arbitrarily complex edit constraints.- The structure of polynomial complexity cores.- Solving visibility problems by using skeleton structures.- Another look at parameterization using algebras with subsorts.- A lower bound on complexity of branching programs.- From dynamic algebras to test algebras.- Combinatorial games with exponential space complete decision problems.- Fast recognitions of pushdown automaton and context-free languages.- Multiprocessor systems and their concurrency.- Free constructions in algebraic institutions.- Remarks on comparing expressive power of logics of programs.- The complexity of problems concerning graphs with regularities.- On the complexity of slice functions.- An exponential lower bound for one-time-only branching programs.- A topological view of some problems in complexity theory.- Propositional dynamic logic with strong loop predicate. 600 pp. Englisch. Seller Inventory # 9783540133728

Contact seller

Buy New

US$ 64.68
Convert currency
Shipping: US$ 27.00
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Chytil, Michal P.|Koubek, V.
Published by Springer Berlin Heidelberg, 1984
ISBN 10: 3540133720 ISBN 13: 9783540133728
New Softcover

Seller: moluna, Greven, Germany

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 4882180

Contact seller

Buy New

US$ 58.49
Convert currency
Shipping: US$ 57.52
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

N/A
Published by Springer, 1984
ISBN 10: 3540133720 ISBN 13: 9783540133728
New Softcover

Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. 1984. 1984th Edition. paperback. . . . . . Seller Inventory # V9783540133728

Contact seller

Buy New

US$ 105.55
Convert currency
Shipping: US$ 12.33
From Ireland to U.S.A.
Destination, rates & speeds

Quantity: 15 available

Add to basket

There are 5 more copies of this book

View all search results for this book