Computer Science Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

354055789x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Equational specification of abstract types and combinators

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0023772 ◽

2005 ◽

pp. 257-271 ◽

Cited By ~ 2

Author(s):

Karl Meinke

Keyword(s):

Abstract Types

Download Full-text

Provability in TBLL: A decision procedure

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0023757 ◽

2005 ◽

pp. 53-67 ◽

Cited By ~ 1

Author(s):

Jawahar Chirimar ◽

James Lipton

Keyword(s):

Decision Procedure

Download Full-text

A new approach to abstract data types II computation on ADTs as ordinary computation

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0023759 ◽

2005 ◽

pp. 79-95 ◽

Cited By ~ 3

Author(s):

Solomon Feferman

Keyword(s):

Abstract Data Types ◽

Data Types ◽

New Approach ◽

Abstract Data

Download Full-text

Towards Kleene Algebra with recursion

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0023771 ◽

2005 ◽

pp. 242-256 ◽

Cited By ~ 9

Author(s):

Haas Leiß

Keyword(s):

Kleene Algebra

Download Full-text

A fragment of first order logic adequate for observation equivalence

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0023774 ◽

2005 ◽

pp. 278-292

Author(s):

Halit O¯guztüzün

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

Infinitary queries and their asymptotic probabilities I: Properties definable in transitive closure logic

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0023784 ◽

2005 ◽

pp. 396-410 ◽

Cited By ~ 6

Author(s):

Jerzy Tyszkiewicz

Keyword(s):

Transitive Closure

Download Full-text

The cutting plane proof system with bounded degree of falsity

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0023762 ◽

2005 ◽

pp. 119-133 ◽

Cited By ~ 6

Author(s):

Andreas Goerdt

Keyword(s):

Cutting Plane ◽

Proof System ◽

Bounded Degree

Download Full-text

The expressive power of transitive closure and 2-way multihead automata

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0023754 ◽

2005 ◽

pp. 1-14 ◽

Cited By ~ 3

Author(s):

Yaniv Bargury ◽

Johann Makowsky

Keyword(s):

Transitive Closure ◽

Expressive Power

Download Full-text

Complexity results for the default- and the autoepistemic logic

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0023780 ◽

2005 ◽

pp. 339-352

Author(s):

Eckhard Steffen

Keyword(s):

Autoepistemic Logic ◽

Complexity Results

Download Full-text

Proving termination for term rewriting systems

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0023786 ◽

2005 ◽

pp. 419-428 ◽

Cited By ~ 8

Author(s):

Andreas Weiermann

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems

Download Full-text

Computer Science Logic - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

Equational specification of abstract types and combinators

Provability in TBLL: A decision procedure

A new approach to abstract data types II computation on ADTs as ordinary computation

Towards Kleene Algebra with recursion

A fragment of first order logic adequate for observation equivalence

Infinitary queries and their asymptotic probabilities I: Properties definable in transitive closure logic

The cutting plane proof system with bounded degree of falsity

The expressive power of transitive closure and 2-way multihead automata

Complexity results for the default- and the autoepistemic logic

Proving termination for term rewriting systems

Computer Science Logic - Lecture Notes in Computer Science
Latest Publications