Relational Methods in Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540333395, 9783540333401

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Relational Approach to Boolean Logic Problems

Relational Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/11734673_4 ◽

2006 ◽

pp. 48-59 ◽

Author(s):

Rudolf Berghammer ◽

Ulf Milanese

Keyword(s):

Boolean Logic ◽

Relational Approach

Download Full-text

Towards an Algebra of Hybrid Systems

Relational Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/11734673_10 ◽

2006 ◽

pp. 121-133 ◽

Author(s):

Peter Höfner ◽

Bernhard Möller

Keyword(s):

Download Full-text

Relational Implementation of Simple Parallel Evolutionary Algorithms

Relational Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/11734673_13 ◽

2006 ◽

pp. 161-172 ◽

Author(s):

Britta Kehden ◽

Frank Neumann ◽

Rudolf Berghammer

Keyword(s):

Evolutionary Algorithms ◽

Parallel Evolutionary Algorithms

Download Full-text

On Relational Cycles

Relational Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/11734673_7 ◽

2006 ◽

pp. 83-95 ◽

Author(s):

Alexander Fronk ◽

Jörg Pleumann

Download Full-text

Control-Flow Semantics for Assembly-Level Data-Flow Graphs

Relational Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/11734673_12 ◽

2006 ◽

pp. 147-160 ◽

Author(s):

Wolfram Kahl ◽

Christopher K. Anand ◽

Jacques Carette

Keyword(s):

Data Flow ◽

Control Flow ◽

Data Flow Graphs ◽

Download Full-text

Topological Representation of Precontact Algebras

Relational Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/11734673_1 ◽

2006 ◽

pp. 1-16 ◽

Author(s):

Georgi Dimov ◽

Dimiter Vakarelov

Keyword(s):

Topological Representation

Download Full-text

Static Analysis of Programs Using Omega Algebra with Tests

Relational Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/11734673_5 ◽

2006 ◽

pp. 60-72 ◽

Author(s):

Claude Bolduc ◽

Jules Desharnais

Keyword(s):

Static Analysis

Download Full-text

Weak Contact Structures

Relational Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/11734673_6 ◽

2006 ◽

pp. 73-82 ◽

Author(s):

Ivo Düntsch ◽

Michael Winter

Keyword(s):

Contact Structures ◽

Download Full-text

Knuth-Bendix Completion as a Data Structure

Relational Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/11734673_18 ◽

2006 ◽

pp. 225-236 ◽

Author(s):

Georg Struth

Keyword(s):

Download Full-text

Lattice-Based Paraconsistent Logic

Relational Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/11734673_14 ◽

2006 ◽

pp. 173-187 ◽

Author(s):

Wendy MacCaull ◽

Dimiter Vakarelov

Keyword(s):

Paraconsistent Logic

Download Full-text