LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sav08:lecture18 [2008/04/24 14:02]
vkuncak
sav08:lecture18 [2008/04/24 14:08] (current)
vkuncak
Line 2: Line 2:
  
 [[Idea of Quantifier-Free Combination]] [[Idea of Quantifier-Free Combination]]
- 
-[[Atomic Diagram Normal Form]] 
  
 [[A Simple Sound Combination Method]] [[A Simple Sound Combination Method]]
 +
 +[[Atomic Diagram Normal Form]]
  
 [[Combining FOL Models]] [[Combining FOL Models]]