Term-modal logic and quantifier-free dynamic assignment logic
By: Lars Thalmann
Series: Uppsala theses in computing science -- 34
Publisher: Computing Science Dept., Uppsala University
Published: 2000
Place of publication: Uppsala, Sweden
Language: eng
Format: [microform] /
Number of pages: 130
Subjects: Computer logic
Notes: Thesis (Ph. D.)--Uppsala University, 2001.

Includes bibliographical references (p. 121-126) and index.