Vol-1864⫷ Vol-1865 ⫸Vol-1866
urn:nbn:de:0074-1865-0


Vol-1865/paper-06⫷Vol-1865/paper-07⫸Vol-1865/paper-08
Hippolyte LégerDominique BouthinonMustapha LebbahHanene Azzag

A new Model for Scalable θ-subsumption