close
1.

電子ブック
ＥＢ
1. Logic, Language, Information and Computation
Wilfrid Hodges, Ruy Queiroz, Ruy J. G. B. de Queiroz, J?rg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Logic, Language, Information and Computation
Hiroakira Ono, Takeo Kanade, Makoto Kanazawa, Ruy Queiroz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Logic, Language, Information and Computation
Anuj Dawar, Takeo Kanade, Ruy Queiroz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics (Invited Talk) / Marcelo Finger ; Mauricio S. C. Hernandes
A CTL-Based Logic for Program Abstractions (Invited Talk) / Martin Lange ; Markus Latte
Application of Logic to Integer Sequences: A Survey (Invited Talk) / Johann A. Makowsky
The Two-Variable Fragment with Counting Revisited (Invited Talk) / Ian Pratt-Hartmann
Intuitionistic Logic and Computability Theory (Invited Talk) / Sebastiaan A. Terwijn
Foundations of Satisfiability Modulo Theories (Invited Talk) / Cesare Tinelli
Logical Form as a Determinant of Cognitive Processes / Michiel van Lambalgen
Formal Lifetime Reliability Analysis Using Continuous Random Variables / Naeem Abbasi ; Osman Hasan ; Sofiène Tahar
Modal Logics with Counting / Carlos Areces ; Guillaume Hoffmann ; Alexandre Denis
Verification of the Completeness of Unification Algorithms à la Robinson / Andréia B. Avelar ; Flávio L. C. de Moura ; André Luiz Galdino ; Mauricio Ayala-Rincón
Mechanisation of PDA and Grammar Equivalence for Context-Free Languages / Aditi Barthwal ; Michael Norrish
On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations / Flavio Ferrarotti ; Sven Hartmann ; Sebastian Link
Decidability and Undecidability Results on the Modal ?-Calculus with a Natural Number-Valued Semantics / Alexis Goyet ; Masami Hagiya ; Yoshinori Tanabe
Solving the Implication Problem for XML Functional Dependencies with Properties / Thu Trinh
On Anaphora and the Binding Principles in Categorial Grammar / Glyn Morrill ; Oriol Valentín
Feasible Functions over Co-inductive Data / Ramyaa Ramyaa ; Daniel Leivant
Interval Valued Fuzzy Coimplication / Renata H.S. Reiser ; Benjamin C. Bedregal ; Gesner A.A. dos Reis
Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures / Daniele Nantes Sobrinho
Intersection Type Systems and Explicit Substitutions Calculi / Daniel Lima Ventura ; Fairouz Kamareddine
Generalising Conservativity / Richard Zuber
Author Index
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics (Invited Talk) / Marcelo Finger ; Mauricio S. C. Hernandes
A CTL-Based Logic for Program Abstractions (Invited Talk) / Martin Lange ; Markus Latte
Application of Logic to Integer Sequences: A Survey (Invited Talk) / Johann A. Makowsky
4.

電子ブック
ＥＢ
4. Logic, Language, Information and Computation
Lev D. Beklemishev, Takeo Kanade, Ruy Queiroz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks / Section 1：
Streaming String Transducers / Rajeev Alur
Unification in Logic / Rosalie Iemhoff
A Symbolic Logic with Exact Bounds for Cryptographic Protocols / John C. Mitchell
Univalent Foundations of Mathematics / Vladimir Voevodsky
Relational Concepts and the Logic of Reciprocity / Yoad Winter
Logic in the Time of WWW: An OWL View / Michael Zakharyaschev
Contributed Papers / Section 2：
A Complexity Question in Justification Logic / Antonis Achilleos
Basic Model Theory for Memory Logics / Carlos Areces ; Facundo Carreiro ; Santiago Figueira ; Sergio Mera
Partial Realization in Dynamic Justification Logic / Stamuel Bucheli ; Roman Kuznets ; Thomas Studer
Hoare Logic for Higher Order Store Using Simple Semantics / Nathaniel Charlton
Nominal Lawvere Theories / Ranald Clouston
Turing Machines on Cayley Graphs / Aubrey da Cunha
Information Flow on Directed Acyclic Graphs / Michael Donders ; Sara Miner More ; Pavel Naumov
The Boyce-Codd-Heath Normal Form for SQL / Flavio Ferrarotti ; Sven Hartmann ; Henning Köhler ; Sebastian Link ; Millist Vincent
Hybrid Logics and NP Graph Properties / Francicleber Martins Ferreira ; Cibele Matos Freire ; Mario R.F. Benevides ; Luis Menasché Schechter ; Ana Teresa Martins
On the Expressive Power of IF-logic with Classical Negation / Daniel Gorín ; Rafael Grimson
Concurrent Logic Games on Partial Orders / Julian Gutierrez
Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation / Alexander Horn
Untestable Properties in the Kahr-Moore-Wang Class / Charles Jordan ; Thomas Zeugmann
Characterizing Definability of Second-Order Generalized Quantifiers / Juha Kontinen ; Jakub Szymanik
Countable Version of Omega-Rule / Grigori Mints
Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus / Paula Severi ; Fer-Jan de Vries
Strong Normalization and Confluence for Reflexive Combinatory Logic / Daniyar S.Shamkanov
On Polymorphic Types of Untyped Terms / Rick Statman
Querying the Fragments of English / Camilo Thorne
Strong Paraconsistency by Separating Composition and Decomposition in Classical Logic / Peter Verdée
How Much Expressive Power Is Needed for Natural Language Temporal Indexicality? / Igor Yanovich
Author Index
Invited Talks / Section 1：
Streaming String Transducers / Rajeev Alur
Unification in Logic / Rosalie Iemhoff
5.

電子ブック
ＥＢ
5. Logic, Language, Information and Computation
Daniel Leivant, David Hutchison, Takeo Kanade, Daniel Maurice Rapha?l Leivant, Ruy Queiroz, Ruy J. G. B. de Queiroz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Logic, Language, Information and Computation
Wilfrid Hodges, Ruy Queiroz, Ruy J. G. B. de Queiroz, Jörg Siekmann, Ruy de Queiroz
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Logic, Language, Information and Computation
Daniel Leivant, David Hutchison, Takeo Kanade, Daniel Maurice Raphaël Leivant, Ruy Queiroz, Ruy J. G. B. de Queiroz, Ruy de Queiroz
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Logic, Language, Information and Computation
Hiroakira Ono, Takeo Kanade, Makoto Kanazawa, Ruy Queiroz, Ruy de Queiroz
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Logic, Language, Information and Computation
Anuj Dawar, Takeo Kanade, Ruy Queiroz, Ruy de Queiroz, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics (Invited Talk) / Marcelo Finger ; Mauricio S. C. Hernandes
A CTL-Based Logic for Program Abstractions (Invited Talk) / Martin Lange ; Markus Latte
Application of Logic to Integer Sequences: A Survey (Invited Talk) / Johann A. Makowsky
The Two-Variable Fragment with Counting Revisited (Invited Talk) / Ian Pratt-Hartmann
Intuitionistic Logic and Computability Theory (Invited Talk) / Sebastiaan A. Terwijn
Foundations of Satisfiability Modulo Theories (Invited Talk) / Cesare Tinelli
Logical Form as a Determinant of Cognitive Processes / Michiel van Lambalgen
Formal Lifetime Reliability Analysis Using Continuous Random Variables / Naeem Abbasi ; Osman Hasan ; Sofiène Tahar
Modal Logics with Counting / Carlos Areces ; Guillaume Hoffmann ; Alexandre Denis
Verification of the Completeness of Unification Algorithms à la Robinson / Andréia B. Avelar ; Flávio L. C. de Moura ; André Luiz Galdino ; Mauricio Ayala-Rincón
Mechanisation of PDA and Grammar Equivalence for Context-Free Languages / Aditi Barthwal ; Michael Norrish
On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations / Flavio Ferrarotti ; Sven Hartmann ; Sebastian Link
Decidability and Undecidability Results on the Modal ?-Calculus with a Natural Number-Valued Semantics / Alexis Goyet ; Masami Hagiya ; Yoshinori Tanabe
Solving the Implication Problem for XML Functional Dependencies with Properties / Thu Trinh
On Anaphora and the Binding Principles in Categorial Grammar / Glyn Morrill ; Oriol Valentín
Feasible Functions over Co-inductive Data / Ramyaa Ramyaa ; Daniel Leivant
Interval Valued Fuzzy Coimplication / Renata H.S. Reiser ; Benjamin C. Bedregal ; Gesner A.A. dos Reis
Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures / Daniele Nantes Sobrinho
Intersection Type Systems and Explicit Substitutions Calculi / Daniel Lima Ventura ; Fairouz Kamareddine
Generalising Conservativity / Richard Zuber
Author Index
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics (Invited Talk) / Marcelo Finger ; Mauricio S. C. Hernandes
A CTL-Based Logic for Program Abstractions (Invited Talk) / Martin Lange ; Markus Latte
Application of Logic to Integer Sequences: A Survey (Invited Talk) / Johann A. Makowsky
10.

電子ブック
ＥＢ
10. Logic, Language, Information and Computation
Lev D. Beklemishev, Takeo Kanade, Ruy Queiroz, Ruy de Queiroz, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks / Section 1：
Streaming String Transducers / Rajeev Alur
Unification in Logic / Rosalie Iemhoff
A Symbolic Logic with Exact Bounds for Cryptographic Protocols / John C. Mitchell
Univalent Foundations of Mathematics / Vladimir Voevodsky
Relational Concepts and the Logic of Reciprocity / Yoad Winter
Logic in the Time of WWW: An OWL View / Michael Zakharyaschev
Contributed Papers / Section 2：
A Complexity Question in Justification Logic / Antonis Achilleos
Basic Model Theory for Memory Logics / Carlos Areces ; Facundo Carreiro ; Santiago Figueira ; Sergio Mera
Partial Realization in Dynamic Justification Logic / Stamuel Bucheli ; Roman Kuznets ; Thomas Studer
Hoare Logic for Higher Order Store Using Simple Semantics / Nathaniel Charlton
Nominal Lawvere Theories / Ranald Clouston
Turing Machines on Cayley Graphs / Aubrey da Cunha
Information Flow on Directed Acyclic Graphs / Michael Donders ; Sara Miner More ; Pavel Naumov
The Boyce-Codd-Heath Normal Form for SQL / Flavio Ferrarotti ; Sven Hartmann ; Henning Köhler ; Sebastian Link ; Millist Vincent
Hybrid Logics and NP Graph Properties / Francicleber Martins Ferreira ; Cibele Matos Freire ; Mario R.F. Benevides ; Luis Menasché Schechter ; Ana Teresa Martins
On the Expressive Power of IF-logic with Classical Negation / Daniel Gorín ; Rafael Grimson
Concurrent Logic Games on Partial Orders / Julian Gutierrez
Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation / Alexander Horn
Untestable Properties in the Kahr-Moore-Wang Class / Charles Jordan ; Thomas Zeugmann
Characterizing Definability of Second-Order Generalized Quantifiers / Juha Kontinen ; Jakub Szymanik
Countable Version of Omega-Rule / Grigori Mints
Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus / Paula Severi ; Fer-Jan de Vries
Strong Normalization and Confluence for Reflexive Combinatory Logic / Daniyar S.Shamkanov
On Polymorphic Types of Untyped Terms / Rick Statman
Querying the Fragments of English / Camilo Thorne
Strong Paraconsistency by Separating Composition and Decomposition in Classical Logic / Peter Verdée
How Much Expressive Power Is Needed for Natural Language Temporal Indexicality? / Igor Yanovich
Author Index
Invited Talks / Section 1：
Streaming String Transducers / Rajeev Alur
Unification in Logic / Rosalie Iemhoff
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼