Sciweavers

LICS   2006 Symposium on Logic in Computer Science
Wall of Fame | Most Viewed LICS-2006 Paper
LICS
2006
IEEE
14 years 4 months ago
The Boundedness Problem for Monadic Universal First-Order Logic
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
Martin Otto
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source180
2Download preprint from source159
3Download preprint from source157
4Download preprint from source151
5Download preprint from source136
6Download preprint from source133
7Download preprint from source128
8Download preprint from source126
9Download preprint from source124
10Download preprint from source107
11Download preprint from source107
12Download preprint from source104
13Download preprint from source104
14Download preprint from source100
15Download preprint from source99
16Download preprint from source98
17Download preprint from source96
18Download preprint from source94
19Download preprint from source92
20Download preprint from source91
21Download preprint from source90
22Download preprint from source89
23Download preprint from source89
24Download preprint from source84
25Download preprint from source82
26Download preprint from source81
27Download preprint from source75
28Download preprint from source69
29Download preprint from source63
30Download preprint from source62