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

Description

Diss. Uppsala : Univ., 2001.

Links & Downloads

1. http://publications.uu.se/theses/91-506-1443-6/

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/186594856
Date	January 1900
Creators	Thalmann, Lars,
Publisher	Uppsala : Institutionen för informationsteknologi, Univ. [distributör],
Source Sets	OCLC
Language	English
Detected Language	English