Computation Theory

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

AvAndrzej Skowron

Häftad, Engelska, 1985

Del i serien Lecture Notes in Computer Science

556 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1985-12-01
Mått:155 x 235 x 23 mm
Vikt:622 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:402
Upplaga:1985
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540160663

Utforska kategorier

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

Innehållsförteckning

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

Witold Pedrycz, Andrzej Skowron, Vladik Kreinovich

Inbunden, 2008

3 689 kr

Handbook of Granular Computing

Vladik Kreinovich, Andrzej Skowron, Witold Pedrycz

E-bok

2008

4 256 kr

Concurrency, Specification and Programming

Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron

Inbunden, 2023

1 818 kr

Concurrency, Specification and Programming

Andrzej Skowron, Thomas Vogel, Bernd-Holger Schlingloff

E-bok

2023

2 275 kr

Concurrency, Specification and Programming

Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron

Häftad, 2024

1 818 kr

Del 8210

Active Media Technology

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

Häftad, 2013

573 kr

Active Media Technology

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

E-bok

2013

698 kr

Thriving Rough Sets

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

Inbunden, 2017

1 139 kr

Thriving Rough Sets

Lech Polkowski, Dominik Slezak, Yiyu Yao, Andrzej Skowron, Guoyin Wang

E-bok

2017

1 455 kr

Del 10352

Foundations of Intelligent Systems

Marzena Kryszkiewicz, Annalisa Appice, Dominik Ślęzak, Henryk Rybinski, Andrzej Skowron, Zbigniew W. Raś

Häftad, 2017

573 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

556 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

935 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

573 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

845 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 026 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

573 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 026 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

935 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

732 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr

Transactions on Rough Sets XIX

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

Häftad, 2015

556 kr

Transactions on Rough Sets XVIII

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

Häftad, 2014

447 kr

Active Media Technology

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

E-bok

2013

698 kr

Del 41

Three Approaches to Data Analysis

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

Häftad, 2014

1 139 kr

Transactions on Rough Sets XV

James F. Peters, Andrzej Skowron

Häftad, 2012

573 kr

Rough Sets and Intelligent Systems - Professor Zdzislaw Pawlak in Memoriam

Zbigniew Suraj, Andrzej Skowron

E-bok

2012

2 917 kr

Concurrency, Specification and Programming

Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron

Häftad, 2024

1 818 kr

Transactions on Rough Sets XVIII

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

E-bok

2014

558 kr

Handbook of Granular Computing

Vladik Kreinovich, Andrzej Skowron, Witold Pedrycz

E-bok

2008

4 256 kr

Computation Theory

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

AvAndrzej Skowron

Häftad, Engelska, 1985

Del i serien Lecture Notes in Computer Science

556 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1985-12-01
Mått:155 x 235 x 23 mm
Vikt:622 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:402
Upplaga:1985
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540160663

Utforska kategorier

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

Innehållsförteckning

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

Witold Pedrycz, Andrzej Skowron, Vladik Kreinovich

Inbunden, 2008

3 689 kr

Handbook of Granular Computing

Vladik Kreinovich, Andrzej Skowron, Witold Pedrycz

E-bok

2008

4 256 kr

Concurrency, Specification and Programming

Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron

Inbunden, 2023

1 818 kr

Concurrency, Specification and Programming

Andrzej Skowron, Thomas Vogel, Bernd-Holger Schlingloff

E-bok

2023

2 275 kr

Concurrency, Specification and Programming

Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron

Häftad, 2024

1 818 kr

Del 8210

Active Media Technology

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

Häftad, 2013

573 kr

Active Media Technology

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

E-bok

2013

698 kr

Thriving Rough Sets

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

Inbunden, 2017

1 139 kr

Thriving Rough Sets

Lech Polkowski, Dominik Slezak, Yiyu Yao, Andrzej Skowron, Guoyin Wang

E-bok

2017

1 455 kr

Del 10352

Foundations of Intelligent Systems

Marzena Kryszkiewicz, Annalisa Appice, Dominik Ślęzak, Henryk Rybinski, Andrzej Skowron, Zbigniew W. Raś

Häftad, 2017

573 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

556 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

935 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

573 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

845 kr

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 026 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

573 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 026 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

935 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

732 kr