Return to search

Term-modal logic and quantifier-free dynamic assignment logic /

Diss. Uppsala : Univ., 2001.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/186594856
Date January 1900
CreatorsThalmann, Lars,
PublisherUppsala : Institutionen för informationsteknologi, Univ. [distributör],
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0017 seconds