Conference paper Open Access

Logic against Ghosts: Comparison of Two Proof Approaches for a List Module

Blanchard, Allan; Kosmatov, Nikolai; Loulergue, Frédéric


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
208
92
views
downloads
Views 208
Downloads 92
Data volume 69.0 MB
Unique views 199
Unique downloads 87

Share

Cite as