Entry Gottlob:1993:NTC from focs1990.bib
Last update: Thu Sep 27 02:15:07 MDT 2018
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
Y |
Z
BibTeX entry
@InProceedings{Gottlob:1993:NTC,
author = "G. Gottlob",
title = "{NP} trees and {Carnap}'s modal logic",
crossref = "IEEE:1993:ASF",
pages = "42--51",
year = "1993",
bibdate = "Thu Apr 5 06:13:51 MDT 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib",
acknowledgement = ack-nhfb,
}
Related entries
- Gottlob, G.,
0(0)706
- logic,
0(0)78,
0(0)100,
0(0)167,
0(0)256,
0(0)264,
0(0)358,
0(0)670,
2(0)662
- NP,
0(0)2,
0(0)8,
0(0)36,
0(0)52,
0(0)614,
2(0)812
- tree,
0(0)22,
0(0)80,
0(0)84,
0(0)118,
0(0)137,
0(0)174,
0(0)180,
0(0)216,
0(0)224,
0(0)258,
0(0)268,
0(0)302,
0(0)304,
0(0)318,
0(0)368,
0(0)379,
0(0)396,
0(0)399,
0(0)431,
0(0)436,
0(0)480,
0(0)534,
0(0)536,
0(0)548,
0(0)548,
0(0)576,
0(0)596,
0(0)602,
0(0)631,
0(0)632,
0(0)659,
0(0)716,
0(0)770,
1(0)145,
2(0)719