Term-modal logic and quantifier-free dynamic assignment logic

Materias

• Computer logic

Ediciones (1)

• Term-modal logic and quantifier-free dynamic assignment logic (2000)

  Computing Science Dept., Uppsala University · inglés

Más obras de Lars Thalmann

MySQL High Availability: Tools for Building Robust Data Centers