Lecture Notes in Computer Science

19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994. Proceedings

By: Igor Privara (Editor), Branislav Rovan (Editor), Peter Ruzicka (Editor)

Write A Review

Paperback | 3 August 1994

At a Glance

Paperback
648 Pages

Dimensions(cm)
23.39 x 15.6 x 3.3

Paperback

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

This volume constitutes the proceedings of the 19th International Symposium on Mathematical Foundations of Theoretical Computer Science, MFCS '94, held in Kosice, Slovakia in August 1994.
MFCS '94 brought together specialists in theoretical fields of computer science from various countries in order to stimulate mathematical research in theoretical computer science. Besides 12 papers based on invited talks by renowned experts, the book contains 42 research contributions selected from a total of 112 submissions. All areas of theoretical computer science are presented, some from a particular mathematical point of view.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Mathematical Theory of Computation Language & Linguistics Reference, Dictionaries & Guides Mathematics Algebra Computer Programming & Software Development Software Engineering Programming & Scripting Languages Computer Architecture & Logic Design

Mathematical Foundation Mathematical Logic Algorithms & Data Structures

Invited Papers	p. 1
Models, Languages, and Compiler Technology for High Performance Computers	p. 3
On NC-Real Complexity Classes for Additive Circuits and Their Relations with NC	p. 27
E-Complete Sets Do Not Have Optimal Polynomial Time Approximations	p. 38
Solving Polynomial Fixed Point Equations	p. 52
Capturing Complexity Classes with Lindstrom Quantifiers	p. 68
Communication Throughput of Interconnection Networks	p. 72
Intuitive Counterexamples for Constructive Fallacies	p. 87
Algebraic Methods in the Compositional Analysis of Logic Programs	p. 112
Longest Common Subsequences	p. 127
Towards DNA Sequencing Chips	p. 143
On-Line Scheduling of Parallel Jobs	p. 159
Stable Bistructure Models of PCF	p. 177
Contributions	p. 199
A Competitive Analysis of the List Update Problem with Lookahead	p. 201
May and Must Convergency in Concurrent [lambda]-Calculus	p. 211
Genericity and Measure for Exponential Time	p. 221
Analysis of Bounded Disorder	p. 233
On Languages Accepted with Simultaneous Complexity Bounds and Their Ranking Problem	p. 245
A Proof System for Asynchronously Communicating Deterministic Processes	p. 256
Embedding Complete Binary Trees into Star Networks	p. 266
Inductive Counting below LOGSPACE	p. 276
Decision Problems for Edge Grammars	p. 286
"The Big Sweep": On the Power of the Wavefront Approach to Voronoi Diagrams	p. 296
Reliable Minimum Finding Comparator Networks	p. 306
On Parallel Complexity of Maximum f-Matching and the Degree Sequence Problem	p. 316
A Comparison of Two Lower Bound Methods for Communication Complexity	p. 326
Efficient Solving of the Word Equations in One Variable	p. 336
A [pi]-Calculus with Explicit Substitutions: the Late Semantics	p. 342
Processes and Hyperuniverses	p. 352
The Combinatorial Complexity of a Finite String	p. 364
A Fully Abstract Semantics for Termination in Petri Nets	p. 373
Passive and Active Rules in Deductive Databases	p. 383
Combinatorial Results on the Complexity of Teaching and Learning	p. 393
Degrees and Reducibilities of Easy Tally Sets	p. 403
MSO Definable Text Languages	p. 413
Two Lower Bounds on Distributive Generation of Languages	p. 423
Rational Rewriting	p. 433
On the Size of Independent Systems of Equations in Semigroups	p. 443
On a Sublinear Time Parallel Construction of Optimal Binary Search Trees	p. 453
Hammock-on-Ears Decomposition: A Technique for the Efficient Parallel Solution of Shortest Paths and Other Problems	p. 462
The Relationship Between Gossiping in Vertex Disjoint Paths Mode and Bisection Width	p. 473
A Comparison of Finite and Cellular Automata	p. 484
Empty Alternation	p. 494
On the Minimization Problem for [omega]-Automata	p. 504
On the Complexity of Constructing Optimal Ordered Binary Decision Diagrams	p. 515
Approximation Algorithms for Min-k-Overlap Problems Using the Principal Lattice of Partitions Approach	p. 525
A Completeness Theorem for Nondeterministic Kleene Algebras	p. 536
How a Rainbow Colouring Function Can Simulate Wait-Free Handshaking	p. 516
Critical Pairs in Term Graph Rewriting	p. 556
Read-Write Causality	p. 567
Some Trace Monoids Where Both the Star Problem and the Finite Power Property Problem are Decidable	p. 577
Complexity of EOL Structural Equivalence	p. 587
Shorter Queues for Permutation Routing on Meshes	p. 597
Full Abstraction for the Second Order Subset of an ALGOL-like Language	p. 608
The Finest Homophonic Partition and Related Code Concepts	p. 618
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Observability Engineering

Achieving Production Excellence

Artificial Intelligence Techniques for Sustainable Development

Smart Engineering Systems: Design and Applications

Attack-and-Defense Games for Control Systems

Analysis and Synthesis

Automatic Generation Of Algorithms

Advances in Metaheuristics

Blockchain for IoT Systems

Concept, Framework and Applications

Cyber Physical System 2.0

Communication and Computational Technologies

Designing Exoskeletons

Impact of Artificial Intelligence on Society

Intelligent Networks

Techniques, and Applications

Introduction to Statistical Computing and Visualization Using R

Nature Inspired Robotics

Next Generation Mechanisms for Data Encryption

Securing the Digital Realm

Advances in Hardware and Software Security, Communication, and Forensics

5G Enabled Technology for Smart City and Urbanization System

Advanced Computing Techniques for Optimization in Cloud

Chapman & Hall/Distributed Computing and Intelligent Data Analytics Series

Agile Security in the Digital Era

Challenges and Cybersecurity Trends

AI, Blockchain, and Metaverse in Hospitality and Tourism Industry 4.0

Case Studies and Analysis

Antennas for Industrial and Medical Applications with Optimization Techniques for Wireless Communication

Blockchain Technology in the Automotive Industry

Brain Technology in Augmented Cognition

Current and Future Trends

Cloud and Fog Optimization-based Solutions for Sustainable Developments

Cloud of Things

Foundations, Applications, and Challenges

Cybersecurity of Discrete Event Systems

From Smart Attacks to Resilient Defence

Developing AI, IoT and Cloud Computing-based Tools and Applications for Women's Safety

This product is categorised by