Articoli correlati a Satisfiability and Model Checking in Team Based Logics
Risultati della ricerca per Satisfiability and Model Checking in Team Based Logics
Immagini fornite dal venditore
Satisfiability and Model Checking in Team Based Logics
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dependence and independence between properties is occurring in many different scientific disciplines, for example in the description of discrete systems or during the evaluation of physical experiments. During this thesis we will study a variety of team based logics, which can express some form of dependence or independence. The concept of expressing functional dependencies between terms by atomic FO-formulae was introduced by Väänänen in 2007. He showed that dependence logic is equally expressive as existential second order logic and thus dependence logic characterises NP. In the first chapter of this thesis we are obtaining a Horn fragment of dependence logic which characterises P. In the second part of this thesis we will study the concept of dependence and independence in the context of team based modal logics. We will study several decision problems for these modal logics, like satisfiability and model checking. Furthermore we will investigate the expressive power of these modal logics. Finally we will give a general notion of team atoms and the properties that they are describing. 148 pp. Englisch. Codice articolo 9783954047598
Compra nuovo
EUR 27,74
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Satisfiability and Model Checking in Team Based Logics
Editore:
Cuvillier Verlag, 2014
ISBN 10: 3954047594
ISBN 13: 9783954047598
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnDependence and independence between properties is occurring in many different scientific disciplines, for example in the description of discrete systems or during the evaluation of physical experiments. During this thesis we will . Codice articolo 117181727
Compra nuovo
EUR 27,74
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Satisfiability and Model Checking in Team Based Logics
Editore:
Cuvillier, Cuvillier Aug 2014, 2014
ISBN 10: 3954047594
ISBN 13: 9783954047598
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Dependence and independence between properties is occurring in many different scientific disciplines, for example in the description of discrete systems or during the evaluation of physical experiments. During this thesis we will study a variety of team based logics, which can express some form of dependence or independence.The concept of expressing functional dependencies between terms by atomic FO-formulae was introduced by Väänänen in 2007. He showed that dependence logic is equally expressive as existential second order logic and thus dependence logic characterises NP. In the first chapter of this thesis we are obtaining a Horn fragment of dependence logic which characterises P.In the second part of this thesis we will study the concept of dependence and independence in the context of team based modal logics. We will study several decision problems for these modal logics, like satisfiability and model checking. Furthermore we will investigate the expressive power of these modal logics. Finally we will give a general notion of team atoms and the properties that they are describing.Books on Demand GmbH, Überseering 33, 22297 Hamburg 148 pp. Englisch. Codice articolo 9783954047598
Compra nuovo
EUR 27,74
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Satisfiability and Model Checking in Team Based Logics
Print on DemandDa: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Dependence and independence between properties is occurring in many different scientific disciplines, for example in the description of discrete systems or during the evaluation of physical experiments. During this thesis we will study a variety of team based logics, which can express some form of dependence or independence. The concept of expressing functional dependencies between terms by atomic FO-formulae was introduced by Väänänen in 2007. He showed that dependence logic is equally expressive as existential second order logic and thus dependence logic characterises NP. In the first chapter of this thesis we are obtaining a Horn fragment of dependence logic which characterises P. In the second part of this thesis we will study the concept of dependence and independence in the context of team based modal logics. We will study several decision problems for these modal logics, like satisfiability and model checking. Furthermore we will investigate the expressive power of these modal logics. Finally we will give a general notion of team atoms and the properties that they are describing. Codice articolo 9783954047598
Compra nuovo
EUR 27,74
Spedizione EUR 61,01
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Satisfiability and Model Checking in Team Based Logics
Print on DemandDa: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Satisfiability and Model Checking in Team Based Logics | Julian-Steffen Müller | Taschenbuch | 148 S. | Englisch | 2014 | Cuvillier | EAN 9783954047598 | Verantwortliche Person für die EU: Cuvillier Verlag, Nonnenstieg 8, 37075 Göttingen, info[at]cuvillier[dot]de | Anbieter: preigu Print on Demand. Codice articolo 104020974
Compra nuovo
EUR 27,74
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili