The Resource Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 69, 2010 ; proceedings, Anuj Dawar, Ruy de Queiroz (eds.)
Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 69, 2010 ; proceedings, Anuj Dawar, Ruy de Queiroz (eds.)
Resource Information
The item Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 69, 2010 ; proceedings, Anuj Dawar, Ruy de Queiroz (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 69, 2010 ; proceedings, Anuj Dawar, Ruy de Queiroz (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
 Summary
 Annotation This book is edited in collaboration with FoLLI, the Association of Logic, Language and Information. It constitutes the proceedings of the 17th International Workshop on Logic, Language, Information and Computation, WoLLIC 2010, held in Brasilia, Brazil, in July 2010. The book presents 7 invited talks together with 13 papers which were carefully reviewed and selected from 32 submissions. The papers cover some of the most active areas of research on the frontiers between computation, logic, and linguistics, with particular interest in crossdisciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection
 Language
 eng
 Extent
 1 online resource (x, 258 pages)
 Contents

 Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics
 A CTLBased Logic for Program Abstractions
 Application of Logic to Integer Sequences: A Survey
 The TwoVariable Fragment with Counting Revisited
 Intuitionistic Logic and Computability Theory
 Foundations of Satisfiability Modulo Theories
 Logical Form as a Determinant of Cognitive Processes
 Formal Lifetime Reliability Analysis Using Continuous Random Variables
 Modal Logics with Counting
 Verification of the Completeness of Unification Algorithms à la Robinson
 Mechanisation of PDA and Grammar Equivalence for ContextFree Languages
 On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations
 Decidability and Undecidability Results on the Modal?Calculus with a Natural NumberValued Semantics
 Solving the Implication Problem for XML Functional Dependencies with Properties
 On Anaphora and the Binding Principles in Categorial Grammar
 Feasible Functions over Coinductive Data
 Interval Valued Fuzzy Coimplication
 Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures
 Intersection Type Systems and Explicit Substitutions Calculi
 Generalising Conservativity
 Isbn
 9783642138249
 Label
 Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 69, 2010 ; proceedings
 Title
 Logic, language, information and computation
 Title remainder
 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 69, 2010 ; proceedings
 Statement of responsibility
 Anuj Dawar, Ruy de Queiroz (eds.)
 Title variation
 WoLLIC 2010
 Subject

 Computer logic
 Computer logic
 Computer logic  Congresses
 Computing Methodologies
 Conference papers and proceedings
 Conference papers and proceedings
 Congress
 Formal methods (Computer science)
 Formal methods (Computer science)
 Formal methods (Computer science)  Congresses
 Formale Grammatik
 Formale Syntax
 Informatique
 Logic
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical  Congresses
 Logik
 Natürliche Sprache
 Programmierlogik
 Berechnungstheorie
 Language
 eng
 Summary
 Annotation This book is edited in collaboration with FoLLI, the Association of Logic, Language and Information. It constitutes the proceedings of the 17th International Workshop on Logic, Language, Information and Computation, WoLLIC 2010, held in Brasilia, Brazil, in July 2010. The book presents 7 invited talks together with 13 papers which were carefully reviewed and selected from 32 submissions. The papers cover some of the most active areas of research on the frontiers between computation, logic, and linguistics, with particular interest in crossdisciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection
 Member of

 Lecture notes in computer science, Lecture notes in artificial intelligence  FoLLI publications on logic, language and information
 LNCS sublibrary, SL 7, Artificial intelligence
 Lecture notes in computer science, 6188
 Lecture notes in computer science, 6188.
 Lecture notes in computer science, Lecture notes in artificial intelligence
 Cataloging source
 GW5XE
 Dewey number
 004.015113
 Illustrations
 illustrations
 Index
 index present
 LC call number
 QA76.9.L63
 LC item number
 W67 2010
 Literary form
 non fiction
 http://bibfra.me/vocab/lite/meetingDate
 2010
 http://bibfra.me/vocab/lite/meetingName
 Workshop on Logic, Language, Information and Computation
 Nature of contents

 dictionaries
 bibliography
 NLM call number
 QA 76.9.L63
 http://library.link/vocab/relatedWorkOrContributorName

 Dawar, Anuj
 Queiroz, Ruy J. G. B. de
 Series statement

 Lecture notes in computer science,
 Lecture notes in artificial intelligence.
 FoLLI publications on logic, language and information
 LNCS sublibrary. SL 7, Artificial intelligence
 Series volume
 6188.
 http://library.link/vocab/subjectName

 Computer logic
 Logic, Symbolic and mathematical
 Formal methods (Computer science)
 Computing Methodologies
 Logic
 Informatique
 Computer logic
 Formal methods (Computer science)
 Logic, Symbolic and mathematical
 Programmierlogik
 Natürliche Sprache
 Formale Syntax
 Formale Grammatik
 Berechnungstheorie
 Logik
 Label
 Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 69, 2010 ; proceedings, Anuj Dawar, Ruy de Queiroz (eds.)
 Bibliography note
 Includes bibliographical references and author index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics  A CTLBased Logic for Program Abstractions  Application of Logic to Integer Sequences: A Survey  The TwoVariable Fragment with Counting Revisited  Intuitionistic Logic and Computability Theory  Foundations of Satisfiability Modulo Theories  Logical Form as a Determinant of Cognitive Processes  Formal Lifetime Reliability Analysis Using Continuous Random Variables  Modal Logics with Counting  Verification of the Completeness of Unification Algorithms à la Robinson  Mechanisation of PDA and Grammar Equivalence for ContextFree Languages  On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations  Decidability and Undecidability Results on the Modal?Calculus with a Natural NumberValued Semantics  Solving the Implication Problem for XML Functional Dependencies with Properties  On Anaphora and the Binding Principles in Categorial Grammar  Feasible Functions over Coinductive Data  Interval Valued Fuzzy Coimplication  Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures  Intersection Type Systems and Explicit Substitutions Calculi  Generalising Conservativity
 Control code
 663096589
 Dimensions
 unknown
 Extent
 1 online resource (x, 258 pages)
 Form of item
 online
 Isbn
 9783642138249
 Lccn
 2010928907
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/9783642138249
 Other physical details
 illustrations.
 http://library.link/vocab/ext/overdrive/overdriveId
 9783642138232
 Specific material designation
 remote
 System control number
 (OCoLC)663096589
 Label
 Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 69, 2010 ; proceedings, Anuj Dawar, Ruy de Queiroz (eds.)
 Bibliography note
 Includes bibliographical references and author index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics  A CTLBased Logic for Program Abstractions  Application of Logic to Integer Sequences: A Survey  The TwoVariable Fragment with Counting Revisited  Intuitionistic Logic and Computability Theory  Foundations of Satisfiability Modulo Theories  Logical Form as a Determinant of Cognitive Processes  Formal Lifetime Reliability Analysis Using Continuous Random Variables  Modal Logics with Counting  Verification of the Completeness of Unification Algorithms à la Robinson  Mechanisation of PDA and Grammar Equivalence for ContextFree Languages  On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations  Decidability and Undecidability Results on the Modal?Calculus with a Natural NumberValued Semantics  Solving the Implication Problem for XML Functional Dependencies with Properties  On Anaphora and the Binding Principles in Categorial Grammar  Feasible Functions over Coinductive Data  Interval Valued Fuzzy Coimplication  Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures  Intersection Type Systems and Explicit Substitutions Calculi  Generalising Conservativity
 Control code
 663096589
 Dimensions
 unknown
 Extent
 1 online resource (x, 258 pages)
 Form of item
 online
 Isbn
 9783642138249
 Lccn
 2010928907
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/9783642138249
 Other physical details
 illustrations.
 http://library.link/vocab/ext/overdrive/overdriveId
 9783642138232
 Specific material designation
 remote
 System control number
 (OCoLC)663096589
Subject
 Computer logic
 Computer logic
 Computer logic  Congresses
 Computing Methodologies
 Conference papers and proceedings
 Conference papers and proceedings
 Congress
 Formal methods (Computer science)
 Formal methods (Computer science)
 Formal methods (Computer science)  Congresses
 Formale Grammatik
 Formale Syntax
 Informatique
 Logic
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical  Congresses
 Logik
 Natürliche Sprache
 Programmierlogik
 Berechnungstheorie
Genre
Member of
 Lecture notes in computer science, Lecture notes in artificial intelligence  FoLLI publications on logic, language and information
 LNCS sublibrary, SL 7, Artificial intelligence
 Lecture notes in computer science, 6188
 Lecture notes in computer science, 6188.
 Lecture notes in computer science, Lecture notes in artificial intelligence
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Logiclanguageinformationandcomputation/tNE7rJ2JYCM/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Logiclanguageinformationandcomputation/tNE7rJ2JYCM/">Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 69, 2010 ; proceedings, Anuj Dawar, Ruy de Queiroz (eds.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 69, 2010 ; proceedings, Anuj Dawar, Ruy de Queiroz (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Logiclanguageinformationandcomputation/tNE7rJ2JYCM/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Logiclanguageinformationandcomputation/tNE7rJ2JYCM/">Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 69, 2010 ; proceedings, Anuj Dawar, Ruy de Queiroz (eds.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>