skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
Complexity and Expressivity of Dependence Logic Extensions. Preview this item
ClosePreview this item
Checking...

Complexity and Expressivity of Dependence Logic Extensions.

Author: Johannes Ebbing
Publisher: Göttingen : Cuvillier Verlag, 2014.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Ebbing, Johannes.
Complexity and Expressivity of Dependence Logic Extensions.
Göttingen : Cuvillier Verlag, ©2014
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Johannes Ebbing
ISBN: 9783736946293 3736946295
OCLC Number: 1003262230
Description: 1 online resource (115 pages)
Contents: Zusammenfassung; Abstract; Contents; Chapter 1 INTRODUCTION; Chapter 2 PRELIMINARIES; Chapter 3 QUANTIFIER EXTENSIONS ON FIRST ORDER DEPENDENCE LOGIC; Chapter 4 EXTENDED MODAL DEPENDENCE LOGIC; Chapter 5 PARTIALLY ORDERED CONNECTIVES AND QUANTIFIERS; Chapter 6 CONCLUSION; Chapter 7 ACKNOWLEDGEMENTS; Bibliography; Index; LEBENSLAUF.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/1003262230<\/a>> # Complexity and Expressivity of Dependence Logic Extensions.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:MediaObject<\/a>, schema:Book<\/a>, schema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"1003262230<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/gw<\/a>> ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1791445893#Place\/gottingen<\/a>> ; # G\u00F6ttingen<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/id.loc.gov\/authorities\/classification\/BC108<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1791445893#Topic\/logic<\/a>> ; # Logic<\/span>\n\u00A0\u00A0\u00A0\nschema:bookFormat<\/a> schema:EBook<\/a> ;\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1791445893#Person\/ebbing_johannes<\/a>> ; # Johannes Ebbing<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2014<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"Zusammenfassung; Abstract; Contents; Chapter 1 INTRODUCTION; Chapter 2 PRELIMINARIES; Chapter 3 QUANTIFIER EXTENSIONS ON FIRST ORDER DEPENDENCE LOGIC; Chapter 4 EXTENDED MODAL DEPENDENCE LOGIC; Chapter 5 PARTIALLY ORDERED CONNECTIVES AND QUANTIFIERS; Chapter 6 CONCLUSION; Chapter 7 ACKNOWLEDGEMENTS; Bibliography; Index; LEBENSLAUF.<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/1791445893<\/a>> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Electronic books<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/worldcat.org\/entity\/work\/data\/1791445893#CreativeWork\/complexity_and_expressivity_of_dependence_logic_extensions<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Complexity and Expressivity of Dependence Logic Extensions.<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"1003262230<\/span>\" ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/1003262230#PublicationEvent\/gottingen_cuvillier_verlag_2014<\/a>> ;\u00A0\u00A0\u00A0\nschema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1791445893#Agent\/cuvillier_verlag<\/a>> ; # Cuvillier Verlag<\/span>\n\u00A0\u00A0\u00A0\nschema:url<\/a> <https:\/\/public.ebookcentral.proquest.com\/choice\/publicfullrecord.aspx?p=5023550<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9783736946293<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/1003262230<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1791445893#Agent\/cuvillier_verlag<\/a>> # Cuvillier Verlag<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Agent<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Cuvillier Verlag<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1791445893#Person\/ebbing_johannes<\/a>> # Johannes Ebbing<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Ebbing<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Johannes<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Johannes Ebbing<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1791445893#Place\/gottingen<\/a>> # G\u00F6ttingen<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"G\u00F6ttingen<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1791445893#Topic\/logic<\/a>> # Logic<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Logic<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/authorities\/classification\/BC108<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/gw<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"gw<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/entity\/work\/data\/1791445893#CreativeWork\/complexity_and_expressivity_of_dependence_logic_extensions<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nrdfs:label<\/a> \"Complexity and Expressivity of Dependence Logic Extensions.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"Print version:<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/1003262230<\/a>> ; # Complexity and Expressivity of Dependence Logic Extensions.<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9783736946293<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"3736946295<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9783736946293<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/1003262230<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/1003262230<\/a>> ; # Complexity and Expressivity of Dependence Logic Extensions.<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2019-11-07<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/1003262230#PublicationEvent\/gottingen_cuvillier_verlag_2014<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:PublicationEvent<\/a> ;\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1791445893#Place\/gottingen<\/a>> ; # G\u00F6ttingen<\/span>\n\u00A0\u00A0\u00A0\nschema:organizer<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1791445893#Agent\/cuvillier_verlag<\/a>> ; # Cuvillier Verlag<\/span>\n\u00A0\u00A0\u00A0\nschema:startDate<\/a> \"2014<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Content-negotiable representations<\/p>\n