loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
18th Annual IEEE Symposium on Logic in Computer Science (LICS'03)
Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions
Ottawa, Canada
June 22-June 25
ISBN: 0-7695-1884-2
ASCII Text
x 
 
Erich Gr?del, Stephan Kreutzer, "Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions," Logic in Computer Science, Symposium on, pp. 158, 18th Annual IEEE Symposium on Logic in Computer Science (LICS'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/LICS.2003.1210055,
author = {Erich Gr?del and Stephan Kreutzer},
title = {Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions},
journal ={Logic in Computer Science, Symposium on},
volume = {0},
year = {2003},
issn = {1043-6871},
pages = {158},
doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2003.1210055},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Logic in Computer Science, Symposium on
TI - Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions
SN - 1043-6871
SP
EP
A1 - Erich Gr?del,
A1 - Stephan Kreutzer,
PY - 2003
KW - null
VL - 0
JA - Logic in Computer Science, Symposium on
ER -
 
Erich Gr?del, Aachen University
Stephan Kreutzer, University of Edinburgh
We survey logical formalisms based on inflationary and deflationary fixed points, and compare them to the (more familiar) logics based on least and greatest fixed points.
Citation:
Erich Gr?del, Stephan Kreutzer, "Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions," lics, pp.158, 18th Annual IEEE Symposium on Logic in Computer Science (LICS'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.