Computation Theory

Fifth Symposium, Zaborow, Poland, December 3-8, 1984 Proceedings

Häftad, Engelska, 1985

Av Andrzej Skowron

699 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1985-12-01
Mått155 x 235 x 23 mm
Vikt622 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor402
Upplaga1985
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540160663

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programmeringsböcker inom Data och it
Matematik inom Naturvetenskap och teknik

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.

Mer från samma författare

Handbook of Granular Computing

Handbook of Granular Computing

Witold Pedrycz, Andrzej Skowron, Vladik Kreinovich, Witold (University of Alberta) Pedrycz, Andrzej (Warsaw University) Skowron, Vladik (University of Texas) Kreinovich

4 679 kr

Concurrency, Specification and Programming

Concurrency, Specification and Programming

Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron

2 569 kr

Concurrency, Specification and Programming

Concurrency, Specification and Programming

Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron

2 569 kr

Active Media Technology

Active Media Technology

Tetsuya Yoshida, Gang Kou, Andrzej Skowron, Jiannong Cao, Hakim Hacid, Ning Zhong

679 kr

Thriving Rough Sets

Thriving Rough Sets

Guoyin Wang, Andrzej Skowron, Yiyu Yao, Dominik Ślęzak, Lech Polkowski, Dominik ¿L¿Zak

1 439 kr

Foundations of Intelligent Systems

Foundations of Intelligent Systems

Marzena Kryszkiewicz, Annalisa Appice, Dominik Ślęzak, Henryk Rybinski, Andrzej Skowron, Zbigniew W. Raś, Dominik Slezak, Zbigniew W. Ras, Dominik ¿L¿Zak, Zbigniew W. Ra¿

729 kr

Thriving Rough Sets

Thriving Rough Sets

Guoyin Wang, Andrzej Skowron, Yiyu Yao, Dominik Ślęzak, Lech Polkowski, Dominik Slezak, Dominik ¿L¿Zak

1 439 kr

Transactions on Rough Sets III

Transactions on Rough Sets III

James F. Peters, Andrzej Skowron

729 kr

Transactions on Rough Sets V

Transactions on Rough Sets V

III Peters, James F., Andrzej Skowron

729 kr

Rough Sets and Current Trends in Computing

Rough Sets and Current Trends in Computing

Andrzej Skowron, Lech Polkowski, Lech Polkowski

729 kr

Du kanske också är intresserad av

Transactions on Rough Sets XIX

Transactions on Rough Sets XIX

James F. Peters, Andrzej Skowron, Dominik Ślȩzak, Hung Son Nguyen, Jan G. Bazan, Dominik Slezak, Dominik ¿L¿Zak

699 kr

Transactions on Rough Sets III

Transactions on Rough Sets III

James F. Peters, Andrzej Skowron

729 kr

Transactions on Rough Sets XVIII

Transactions on Rough Sets XVIII

James F. Peters, Andrzej Skowron, Tianrui Li, Yan Yang, JingTao Yao, Hung Son Nguyen, Jingtao Yao

569 kr

Three Approaches to Data Analysis

Three Approaches to Data Analysis

Igor Chikalov, Vadim Lozin, Irina Lozina, Mikhail Moshkov, Hung Son Nguyen, Andrzej Skowron, Beata Zielosko

1 439 kr

Three Approaches to Data Analysis

Three Approaches to Data Analysis

Igor Chikalov, Vadim Lozin, Irina Lozina, Mikhail Moshkov, Hung Son Nguyen, Andrzej Skowron, Beata Zielosko

1 439 kr

Transactions on Rough Sets XV

Transactions on Rough Sets XV

James F. Peters, Andrzej Skowron

699 kr

Concurrency, Specification and Programming

Concurrency, Specification and Programming

Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron

2 569 kr

Foundations of Intelligent Systems

Foundations of Intelligent Systems

Marzena Kryszkiewicz, Annalisa Appice, Dominik Ślęzak, Henryk Rybinski, Andrzej Skowron, Zbigniew W. Raś, Dominik Slezak, Zbigniew W. Ras, Dominik ¿L¿Zak, Zbigniew W. Ra¿

729 kr

Transactions on Rough Sets XVI

Transactions on Rough Sets XVI

James F. Peters, Andrzej Skowron, Sheela Ramanna, Zbigniew Suraj, Xin Wang

699 kr

Facets of Uncertainties and Applications

Facets of Uncertainties and Applications

Mihir K. Chakraborty, Andrzej Skowron, Manoranjan Maiti, Samarjit Kar, Mihir Chakraborty

1 399 kr