Automata-based decision procedures for weak arithmetics

Description

Freiburg (Breisgau), University, Diss., 2004.

Links & Downloads

1. http://deposit.ddb.de/cgi-bin/dokserv?idn=972136762
2. http://freidok.ub.uni-freiburg.de/freidok/volltexte/2004/1439/pdf/Dissertation.pdf
3. http://freidok.ub.uni-freiburg.de/volltexte/1439/index.html

Tags

Presburger-Arithmetik Monadische Logik

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/76493737
Date	January 2004
Creators	Klaedtke, Felix Christopher.
Publisher	[S.l. : s.n.],
Source Sets	OCLC
Language	English
Detected Language	English
Source	LF