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 $89.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

Ethics and Governance of Artificial Intelligence

Frameworks, Risks, and Society

Cloud-Native Modernization Unleashed

Revolutionizing Legacy Systems with Spring, Ai, Cloud, and Microservices

The Essence of Software Engineering

Fundamentals of Software Architecture

A Modern Engineering Approach

Design Patterns

Elements of Reusable Object-Oriented Software

Git : Pocket Guide

A Working Introduction

C# 12 in a Nutshell

The Definitive Reference

Site Reliability Engineering

How Google Runs Production Systems

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Arduino for Dummies

Blackwell Philosophy Anthologies

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Coding All-in-One For Dummies

2nd Edition

Hacking For Dummies

For Dummies (Computer/Tech)

Developing Graphics Frameworks with Java and OpenGL

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Robert C. Martin

A Craftsman's Guide to Software Structure and Design

Building Generative AI Services with Fastapi

A Practical Approach to Developing Context-Rich Generative AI Applications

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

Typescript Cookbook

Real World Type-Level Programming

Learning Modern C++ for Finance

Foundations for Quantitative Programming

The Art of Spyro

Reignited Trilogy

Working Effectively with Legacy Code

Robert C. Martin Series

This product is categorised by