Computer Science Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540425540, 9783540448020

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Anatomy of Innocence

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-44802-0_14 ◽

2007 ◽

pp. 188-202 ◽

Cited By ~ 7

Author(s):

Vincent Danos ◽

Russell Harmer

Download Full-text

Locus Solum: From the Rules of Logic to the Logic of Rules

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-44802-0_3 ◽

2001 ◽

pp. 38-38 ◽

Cited By ~ 2

Author(s):

Jean-Yves Girard

Download Full-text

Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-44802-0_28 ◽

2001 ◽

pp. 399-414 ◽

Cited By ~ 1

Author(s):

Yohji Akama

Keyword(s):

Classical Logic

Download Full-text

Inflationary Fixed Points in Modal Logic

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-44802-0_20 ◽

2001 ◽

pp. 277-291 ◽

Cited By ~ 4

Author(s):

A. Dawar ◽

E. Grädel ◽

S. Kreutzer

Keyword(s):

Modal Logic ◽

Fixed Points

Download Full-text

Applications of Alfred Tarski’s Ideas in Database Theory

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-44802-0_2 ◽

2001 ◽

pp. 20-37 ◽

Cited By ~ 16

Author(s):

Jan Van den Bussche

Keyword(s):

Database Theory

Download Full-text

A Principle of Induction

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-44802-0_32 ◽

2001 ◽

pp. 458-468 ◽

Cited By ~ 1

Author(s):

Keye Martin

Download Full-text

A Logic for Approximate First-Order Reasoning

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-44802-0_19 ◽

2001 ◽

pp. 262-276 ◽

Cited By ~ 1

Author(s):

Frédéric Koriche

Keyword(s):

First Order

Download Full-text

The Natural Order-Generic Collapse for ω-Representable Databases over the Rational and the Real Ordered Group

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-44802-0_10 ◽

2001 ◽

pp. 130-144 ◽

Cited By ~ 1

Author(s):

Nicole Schweikardt

Keyword(s):

Natural Order ◽

Ordered Group ◽

The Real

Download Full-text

Actual Arithmetic and Feasibility

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-44802-0_9 ◽

2001 ◽

pp. 115-129 ◽

Cited By ~ 1

Author(s):

Jean-Yves Marion

Download Full-text

Stratified Context Unification Is in PSPACE

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-44802-0_35 ◽

2001 ◽

pp. 498-513 ◽

Cited By ~ 3

Author(s):

Manfred Schmidt-Schauß

Download Full-text

Computer Science Logic - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The Anatomy of Innocence

Locus Solum: From the Rules of Logic to the Logic of Rules

Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic

Inflationary Fixed Points in Modal Logic

Applications of Alfred Tarski’s Ideas in Database Theory

A Principle of Induction

A Logic for Approximate First-Order Reasoning

The Natural Order-Generic Collapse for ω-Representable Databases over the Rational and the Real Ordered Group

Actual Arithmetic and Feasibility

Stratified Context Unification Is in PSPACE

Computer Science Logic - Lecture Notes in Computer Science
Latest Publications