Logic, Language, Information and Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642138232, 9783642138249

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Two-Variable Fragment with Counting Revisited

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13824-9_4 ◽

2010 ◽

pp. 42-54 ◽

Cited By ~ 4

Author(s):

Ian Pratt-Hartmann

Download Full-text

Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13824-9_18 ◽

2010 ◽

pp. 218-231 ◽

Cited By ~ 1

Author(s):

Daniele Nantes Sobrinho ◽

Mauricio Ayala-Rincón

Keyword(s):

Blind Signatures

Download Full-text

Application of Logic to Integer Sequences: A Survey

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13824-9_3 ◽

2010 ◽

pp. 34-41

Author(s):

Johann A. Makowsky

Keyword(s):

Integer Sequences

Download Full-text

Modal Logics with Counting

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13824-9_9 ◽

2010 ◽

pp. 98-109 ◽

Cited By ~ 8

Author(s):

Carlos Areces ◽

Guillaume Hoffmann ◽

Alexandre Denis

Keyword(s):

Modal Logics

Download Full-text

Formal Lifetime Reliability Analysis Using Continuous Random Variables

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13824-9_8 ◽

2010 ◽

pp. 84-97 ◽

Cited By ~ 4

Author(s):

Naeem Abbasi ◽

Osman Hasan ◽

Sofiène Tahar

Keyword(s):

Reliability Analysis ◽

Random Variables ◽

Lifetime Reliability

Download Full-text

A CTL-Based Logic for Program Abstractions

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13824-9_2 ◽

2010 ◽

pp. 19-33 ◽

Cited By ~ 1

Author(s):

Martin Lange ◽

Markus Latte

Download Full-text

Decidability and Undecidability Results on the Modal μ-Calculus with a Natural Number-Valued Semantics

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13824-9_13 ◽

2010 ◽

pp. 148-160

Author(s):

Alexis Goyet ◽

Masami Hagiya ◽

Yoshinori Tanabe

Keyword(s):

Natural Number

Download Full-text

Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13824-9_1 ◽

2010 ◽

pp. 1-18

Author(s):

Marcelo Finger ◽

Mauricio S. C. Hernandes

Keyword(s):

Modal Logics ◽

Algebraic Characterization

Download Full-text

Interval Valued Fuzzy Coimplication

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13824-9_17 ◽

2010 ◽

pp. 204-217 ◽

Cited By ~ 1

Author(s):

Renata H. S. Reiser ◽

Benjamin C. Bedregal ◽

Gesner A. A. dos Reis

Keyword(s):

Interval Valued

Download Full-text

On Anaphora and the Binding Principles in Categorial Grammar

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13824-9_15 ◽

2010 ◽

pp. 176-190 ◽

Cited By ~ 3

Author(s):

Glyn Morrill ◽

Oriol Valentín

Keyword(s):

Categorial Grammar

Download Full-text

Logic, Language, Information and Computation - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The Two-Variable Fragment with Counting Revisited

Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures

Application of Logic to Integer Sequences: A Survey

Modal Logics with Counting

Formal Lifetime Reliability Analysis Using Continuous Random Variables

A CTL-Based Logic for Program Abstractions

Decidability and Undecidability Results on the Modal μ-Calculus with a Natural Number-Valued Semantics

Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics

Interval Valued Fuzzy Coimplication

On Anaphora and the Binding Principles in Categorial Grammar

Logic, Language, Information and Computation - Lecture Notes in Computer Science
Latest Publications