Welcome
Copyright © SirsiDynix. All rights reserved.
branding logo
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
user_choices_background_image
Welcome
login container bottom
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Duplicate Items
Add to My List

Print
Sorts and Limits

Title: Dependence Logic Theory and Applications / edited by Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer.
Main Entry: Abramsky, Samson. editor.
Kontinen, Juha. editor.
Väänänen, Jouko. editor.
Vollmer, Heribert. editor.
SpringerLink (Online service)
Publisher: Springer International Publishing : Imprint: Birkhäuser,
Publication Date: 2016.
Publication Place: Cham :
ISBN: 9783319318035
Subject: Mathematics.
Logic.
Mathematical logic.
Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Logic.
Contents: Introduction -- Durand, Kontinen, Vollmer, Expressivity and Complexity of Dependence Logic -- Väänänen, Grelling on Dependence -- Galliani, On Strongly First-Order Dependencies -- Grädel, Games for Inclusion Logic and Fixed-Point Logic -- Hodges, Remarks on Compositionality -- Hirvonen, Independence in Model Theory -- Ciardelli, Dependency as Question Entailment -- Link, Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data -- Nyman, Pensar, Corander, Context-Specific and Local Independence in Markovian Dependence Structures -- Pacuit, Fang, Dependence and Independence in Social Choice: Arrow's Theorem -- Blass, Introduction to Secret-Sharing.
Related Records: Springer eBooks
Printed edition: 9783319318011
Cover Image: http://images.amazon.com/images/P/9783319318035.jpg

Results 1 - 1 of 1
  Agency: Collection: Call No.: Item Type: Status: Barcode: Media Type:
JUST Main Library Electronic Resources QA8.9-10.3 No Circulation Available Online -758980 Book