Computer Science Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540659228, 9783540488552

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Monadic NP and Graph Minors

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/10703163_9 ◽

1999 ◽

pp. 126-141 ◽

Author(s):

Martin Kreidler ◽

Detlef Seese

Keyword(s):

Download Full-text

Quantifiers and the System KE: Some Surprising Results

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/10703163_7 ◽

1999 ◽

pp. 90-104 ◽

Author(s):

Uwe Egly

Download Full-text

On the Power of Quantifiers in First-Order Algebraic Specification

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/10703163_4 ◽

1999 ◽

pp. 45-57

Author(s):

David Kempe ◽

Arno Schönegge

Keyword(s):

Algebraic Specification ◽

First Order ◽

Order Algebraic

Download Full-text

Many-Valued First-Order Logics with Probabilistic Semantics

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/10703163_28 ◽

1999 ◽

pp. 415-429 ◽

Author(s):

Thomas Lukasiewicz

Keyword(s):

First Order ◽

Probabilistic Semantics

Download Full-text

RPO Constraint Solving Is in NP

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/10703163_26 ◽

1999 ◽

pp. 385-398 ◽

Author(s):

Paliath Narendran ◽

Michael Rusinowitch ◽

Rakesh Verma

Keyword(s):

Constraint Solving

Download Full-text

Choice Construct and Lindström Logics

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/10703163_8 ◽

1999 ◽

pp. 105-125

Author(s):

H. K. Hoang

Download Full-text

On the Complexity of H-Subsumption

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/10703163_24 ◽

1999 ◽

pp. 355-371 ◽

Author(s):

Reinhard Pichler

Download Full-text

On an Optimal Deterministic Algorithm for SAT

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/10703163_13 ◽

1999 ◽

pp. 179-187 ◽

Author(s):

Zenon Sadowski

Keyword(s):

Deterministic Algorithm

Download Full-text

Trakhtenbrot Theorem and Fuzzy Logic

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/10703163_1 ◽

1999 ◽

pp. 1-8 ◽

Author(s):

Petr Hájek

Keyword(s):

Download Full-text

Descriptive Complexity, Lower Bounds and Linear Time

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/10703163_2 ◽

1999 ◽

pp. 9-28 ◽

Author(s):

Thomas Schwentick

Keyword(s):

Lower Bounds ◽

Linear Time ◽

Descriptive Complexity ◽

Complexity Lower Bounds

Download Full-text