loading...
Adapting Logics
Seattle, Washington August 12-August 15
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/LICS.2006.921st Annual IEEE Symposium on Logic i ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Andreas Blass, "Adapting Logics," Logic in Computer Science, Symposium on, pp. 123, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/LICS.2006.9,
author = {Andreas Blass},
title = {Adapting Logics},
journal ={Logic in Computer Science, Symposium on},
volume = {0},
year = {2006},
issn = {1043-6871},
pages = {123},
doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2006.9},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Logic in Computer Science, Symposium on
TI - Adapting Logics
SN - 1043-6871
SP
EP
A1 - Andreas Blass,
PY - 2006
KW - null
VL - 0
JA - Logic in Computer Science, Symposium on
ER -
 
Andreas Blass, Microsoft Research, USA
I plan to survey some of the adaptations and variations of logic that have been introduced for various purposes. For obvious reasons, I shall concentrate mainly on purposes related to computer science and on adaptations that have played a role in my own research. Along the way, I shall touch on some open problems.
Citation:
Andreas Blass, "Adapting Logics," lics, pp.123, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.