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

scholarly journals Towards an Algebra of Hybrid Systems

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

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

Weak Contact Structures

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

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