Mathematical Foundations of Computer Science 1986
Gruska
Broschiertes Buch

Mathematical Foundations of Computer Science 1986

12th Symposium held at Bratislava, Czechoslovakia, August 25-29, 1986. Proceedings

Mitarbeit: Gruska, Josef; Rovan, Branislav; Wiedermann, Juraj
Versandkostenfrei!
Versandfertig in 1-2 Wochen
77,99 €
inkl. MwSt.
PAYBACK Punkte
39 °P sammeln!
Why sometimes probabilistic algorithms can be more effective.- Recent results in the theory of rational sets.- Partial interpretations of higher order algebraic types.- Kins of context-free languages.- Algebraic theory of module specifications with constraints.- A semantical model for integration and modularization of rules.- Parallel arithmetic computations: A survey.- An approach to proof checker.- The promise of electronic prototyping.- Systolic arrays: Characterizations and complexity.- Geometric location problems and their complexity.- Developing implicit data structures.- Higher-order ar...