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

2006 ◽  
pp. 48-59 ◽  
Author(s):  
Rudolf Berghammer ◽  
Ulf Milanese
Keyword(s):  
Boolean Logic ◽  
Relational Approach

scholarly journals Towards an Algebra of Hybrid Systems

2006 ◽  
pp. 121-133 ◽  
Author(s):  
Peter Höfner ◽  
Bernhard Möller
Keyword(s):  
Hybrid Systems

Relational Implementation of Simple Parallel Evolutionary Algorithms

2006 ◽  
pp. 161-172 ◽  
Author(s):  
Britta Kehden ◽  
Frank Neumann ◽  
Rudolf Berghammer
Keyword(s):  
Evolutionary Algorithms ◽  
Parallel Evolutionary Algorithms

On Relational Cycles

2006 ◽  
pp. 83-95 ◽  
Author(s):  
Alexander Fronk ◽  
Jörg Pleumann

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

2006 ◽  
pp. 147-160 ◽  
Author(s):  
Wolfram Kahl ◽  
Christopher K. Anand ◽  
Jacques Carette
Keyword(s):  
Data Flow ◽  
Control Flow ◽  
Level Data ◽  
Data Flow Graphs ◽  
Flow Graphs

Topological Representation of Precontact Algebras

2006 ◽  
pp. 1-16 ◽  
Author(s):  
Georgi Dimov ◽  
Dimiter Vakarelov
Keyword(s):  
Topological Representation

Static Analysis of Programs Using Omega Algebra with Tests

2006 ◽  
pp. 60-72 ◽  
Author(s):  
Claude Bolduc ◽  
Jules Desharnais
Keyword(s):  
Static Analysis

Weak Contact Structures

2006 ◽  
pp. 73-82 ◽  
Author(s):  
Ivo Düntsch ◽  
Michael Winter
Keyword(s):  
Contact Structures ◽  
Weak Contact

Knuth-Bendix Completion as a Data Structure

2006 ◽  
pp. 225-236 ◽  
Author(s):  
Georg Struth
Keyword(s):  
Data Structure

Lattice-Based Paraconsistent Logic

2006 ◽  
pp. 173-187 ◽  
Author(s):  
Wendy MacCaull ◽  
Dimiter Vakarelov
Keyword(s):  
Paraconsistent Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document