Buch, Englisch, 402 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1270 g
Fifth Symposium, Zaborow, Poland, December 3-8, 1984 Proceedings
Buch, Englisch, 402 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1270 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-16066-3
Verlag: Springer
Springer Book Archives
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
An algorithmic interface structure for pascal compilers.- Nonuniform complexity classes, decision graphs and homological properties of posets.- On the control of concurrent systems by restrictions of the state behaviour.- From domino tilings to a new model of computation.- Nondeterministic Propositional Dynamic Logic with intersection is decidable.- A note on selection networks.- Correctness of inconsistent theories with notions of feasibility.- On the log-space reducibility among array languages /preliminary version/.- Non-uniformity of dynamic logic.- Model theory of propositional logics of programs, some open problems.- Some results on decision trees with relations to computational trees.- Propositional calculi of term satisfiability and process logics.- On the effectiveness of some operations on algorithms.- Concatenation of program modules an algebraic approach to the semantic and implementation problems.- Regular expressions for infinite trees and a standard form of automata.- Equational ?-calculus.- A logic of indiscernibility relations.- Rough sets and decision tables.- On learning — a rough set approach.- A methodology for improving parallel programs by adding communications.- Extension of PDL and consequence relations.- Rough-sets based learning systems.- Theories of interacting stacks.- Rough concepts logic.- An equivalence between indiscernibility relations in information systems and a fragment of intuitionistic logic.- On the recognition of context-free languages.- On multi-valued homomorphisms.- Traces and semiwords.- Deadlock prediction in linear systems.- Propositional dynamic logics with counters and stacks.- Transition graphs semantics and languages.- On the implementation of CSP mechanisms in loglan.
