Lecture Notes in Computer Science - Structures in Logic and Computer Science
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540632467, 9783540692423

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Monadic second order logic and node relations on graphs and trees

Lecture Notes in Computer Science - Structures in Logic and Computer Science ◽

10.1007/3-540-63246-8_9 ◽

1997 ◽

pp. 144-161 ◽

Author(s):

Roderick Bloem ◽

Joost Engelfriet

Keyword(s):

Second Order ◽

Order Logic ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

DNA computing: Distributed splicing systems

Lecture Notes in Computer Science - Structures in Logic and Computer Science ◽

10.1007/3-540-63246-8_22 ◽

1997 ◽

pp. 353-370 ◽

Author(s):

Gheorghe Păun

Keyword(s):

Dna Computing ◽

Splicing Systems

Download Full-text

Compactness of systems of equations on completely regular semigroups

Lecture Notes in Computer Science - Structures in Logic and Computer Science ◽

10.1007/3-540-63246-8_16 ◽

1997 ◽

pp. 268-280 ◽

Author(s):

Tero Harju ◽

Juhani Karhumäki ◽

Mario Petrich

Keyword(s):

Systems Of Equations ◽

Regular Semigroups ◽

Completely Regular ◽

Completely Regular Semigroups

Download Full-text

An interpretive isomorphism between binary and ternary relations

Lecture Notes in Computer Science - Structures in Logic and Computer Science ◽

10.1007/3-540-63246-8_6 ◽

1997 ◽

pp. 84-105 ◽

Author(s):

Dale Myers

Download Full-text

Vagueness — A rough set view

Lecture Notes in Computer Science - Structures in Logic and Computer Science ◽

10.1007/3-540-63246-8_7 ◽

1997 ◽

pp. 106-117 ◽

Author(s):

Zdzislaw Pawlak

Keyword(s):

Download Full-text

Combinatorics of standard Sturmian words

Lecture Notes in Computer Science - Structures in Logic and Computer Science ◽

10.1007/3-540-63246-8_15 ◽

1997 ◽

pp. 249-267 ◽

Author(s):

Aldo Luca

Keyword(s):

Download Full-text

On compact directed acyclic word graphs

Lecture Notes in Computer Science - Structures in Logic and Computer Science ◽

10.1007/3-540-63246-8_12 ◽

1997 ◽

pp. 192-211 ◽

Author(s):

Maxime Crochemore ◽

Renaud Vérin

Download Full-text

Expressive power of unary counters

Lecture Notes in Computer Science - Structures in Logic and Computer Science ◽

10.1007/3-540-63246-8_3 ◽

1997 ◽

pp. 34-50 ◽

Author(s):

Michael Benedikt ◽

H. Jerome Keisler

Keyword(s):

Expressive Power

Download Full-text

On the work of Andrzej Ehrenfeucht in model theory

Lecture Notes in Computer Science - Structures in Logic and Computer Science ◽

10.1007/3-540-63246-8_1 ◽

1997 ◽

pp. 1-13

Author(s):

Robert Vaught

Keyword(s):

Download Full-text

Pebble games in model theory

Lecture Notes in Computer Science - Structures in Logic and Computer Science ◽

10.1007/3-540-63246-8_5 ◽

1997 ◽

pp. 66-83

Author(s):

James F. Lynch

Keyword(s):

Download Full-text