On the Expressive Power of Logics on Finite Models

On the Expressive Power of Logics on Finite Models (2003)

by Phokion G. Kolaitis

Citations:

1 - 0 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	On the Expressive Power of Logics on Finite Models	user correction - Legacy Corrections
AUTHOR NAME	Phokion G. Kolaitis	SVM HeaderParse 0.1
AUTHOR AFFIL	Computer Science Department; University of California, Santa Cruz	SVM HeaderParse 0.2
AUTHOR ADDR	Santa Cruz, CA 95064, USA	SVM HeaderParse 0.1
ABSTRACT	Structures" [Mos74], where they are called inductive relations. It should also be pointed out that in Immerman's book on "Descriptive Complexity" LFP is denoted by FO(LFP) (the closure of FO under least fixed-points) and LFP 1 is denoted by LFP(FO) (least fixed-points of first-order formulas).	user correction - Legacy Corrections
YEAR	2003	user correction - Legacy Corrections
CITATIONS	66 found	ParsCit 1.0