Logic, language, information and computation : 18th international workshop, WOLLIC 2011 Philadelphia, PA, USA : proceedings

著者

• Workshop on Logic, Language, Information and Computation
• Beklemishev, Lev Dmitrievich
• Queiroz, Ruy de

書誌事項

Logic, language, information and computation : 18th international workshop, WOLLIC 2011 Philadelphia, PA, USA : proceedings

Lev D. Beklemishev, Ruy de Queiroz (eds.)

（Lecture notes in computer science, 6642 . Lecture notes in artifical intelligence）

Springer, c2011

注記

Includes bibliographical references and index

内容説明・目次

内容説明

This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. Among the topics covered are various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, partial order, Hoare logics, hybrid logics, Turing machines, etc.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BB10825162
• ISBN:
  • 9783642209192
• LCCN: 2011926457
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Heidelberg
• ページ数/冊数: x, 309 p.
• 大きさ: 24 cm
• 分類:
  • DC22 : 005.131
• 件名:
  • LCSH : Logic, Symbolic and mathematical -- Congresses
  • LCSH : Language and logic -- Congresses
• 親書誌ID:
  • BA00009279