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 -
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
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb