A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Filters
On Monadic NP vs Monadic co-NP
1995
Information and Computation
Preserved Fulltext
The power of these techniques is further demonstrated by using them (actually, using just the first two techniques) to give a very simple proof of the separation of monadic NP from monadic co-NP without ...
Monadic NP is the class of problems expressible in monadic Z;, i.e., 1: with the restriction that the second-order quantifiers range only over sets (as opposed to ranging over, say, binary relations). ...
ACKNOWLEDGMENT We are grateful to Phokion Kolaitis for useful comments on a previous draft of this paper. Received February 24, 1992; final manuscript received May 24, 1994 ...
doi:10.1006/inco.1995.1100
fatcat:vyvh7um5nzdklpr3q3wtf7nmte
Page 767 of Mathematical Reviews Vol. , Issue 97B
[page]
1997
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
co-NP. ...
Leo Esakia ( Tbilisi)
97b:03049 03C13 03C85 03D15 68Q15
Fagin, Ronald (1-IBM2; San Jose, CA);
Stockmeyer, Larry J. (1-IBM2; San Jose, CA);
Vardi, Moshe Y. (1-IBM2; San Jose, CA)
On monadic NP vs monadic ...
Tree-width and the monadic quantifier hierarchy
2003
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
But on planar graphs, three-colorability is NP-complete. Hence, if P = NP and on K every existential monadic second-order property is in P, then K has bounded tree-width. ...
It is well known that on classes of graphs of bounded tree-width, every monadic second-order property is decidable in polynomial time. The converse is not true without further assumptions. ...
Let Co m and Co n be two colliers. such that Co m is a topological minor of Co n . Then m= n. Proof. ...
doi:10.1016/s0304-3975(02)00449-8
fatcat:d7yphiegdze7thxpaovk22cmvu
Circular Dichroism and Exciton Effect of Syndiotactic Methacrylic Polymers with Chiral Diacyl Hydrazide Side Chains V. Number of Exciton Coupled Monomeric Units
1988
Polymer journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The CD spectra of poly(methacrylic acid-NP(L-lactoyl)hydrazide) and poly(methacrylic acid-NP(N-tert-butyloxycarbonyl-L-seryl) hydrazide) were studied in their deprotonated state, i.e., when containing ...
Tacticity / Poly(methacrylic acid diacyl hydrazide) / Circular Dichroism Exciton Effect / Conformational Order / Conformational Statistics / Simulation / To obtain conformationally ordered vinyl polymers, one ...
(methacrylic acid hydrazide) -(methacrylic acid-NP(N-tert-butyloxycarbonyl-L-seryl)hydrazide) ((MH)-s-co-(L-MH-BocS)). ...
doi:10.1295/polymj.20.421
fatcat:6b4mjm5ey5gotpueqksxoefqvy
Yuri, Logic, and Computer Science
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
We show that affirmative answers to several of these questions are equivalent to natural principles like NP = co-NP, (NP ∩ co-NP) = P, and the shrinking principle for NP sets. ...
Information and Control 55 (1982) , 80-88 Papadimitriou and Yannakakis were interested whether Unique Sat is hard for {L − L : L, L ∈ N P } when NP differs from co-NP (otherwise the answer is obvious). ...
doi:10.1007/978-3-642-15025-8_1
fatcat:ehjpkiqxzbh55k7waxqwzfhw6y
Page 4885 of Mathematical Reviews Vol. , Issue 95h
[page]
1995
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Vardi, On monadic NP vs. monadic co-NP (extended abstract) (19-30); Harry Buhrman, Peter van Helden and Leen Torenvliet, P-selective self-reducibles sets: a new characterization of P (44-51); Ashish V. ...
Selman, P-selective sets, and reducing search to decision vs. self-reducibility (52-64); Jay ...
2 Conceptual elucidations
[chapter]
2021
Thinking of Space Relationally
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
For each monad, the sensible ideal order and the bodily position conditioned particular point of view co-shape the 'confused partial' perception of the monads and their relative movements. ...
One causal agent proposed by NP theory is also 'routinized practices.' ...
doi:10.14361/9783839455876-004
fatcat:xoo5ilvfireo5ggwwgf33zhbvm
Causation and Reflexivity in Kannada
[chapter]
2004
Studies in Natural Language and Linguistic Theory
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The grammatical interpretation of the (c) cases would have a null pronoun as one of the arguments and hence an interpretation like "I made someone verb... ...
Conversely, if a COS verb has a morphologically unmarked transitive use, it does not have a morphological causative with only two arguments. 3 5) a. baagil-u tere-d-itu door-NOM open-PST-3SN 'The door ...
Rather, the lack of strings of the form REFL-CAUS appears to be problematic on a view in which multiple vs can occur. ...
doi:10.1007/978-1-4020-2719-2_4
fatcat:jmifw7gsgrhx3bfborsfywaeu4
Syntactic categories for dependent type theory: sketching and adequacy
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We argue that locally Cartesian closed categories form a suitable doctrine for defining dependent type theories, including non-extensional ones. ...
On this basis, we argue for the use of locally Cartesian closed categories as a simpler alternative to Uemura's representable map categories. ...
The theory of -monads ( . · ) A strict -monad T on Cat (resp. Cat g ) is an ordinary monad on Cat regarded as a -category, admitting an enrichment over Cat (resp. Grpd). ...
arXiv:2012.10783v2
fatcat:poautfv7dneaja6vhfcpnxzh4q
Convergence Laws for Random Graphs
[chapter]
1998
Logic Colloquium '95
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
A weaker form of convergence law is proven for the monadic second-order language. ...
Two formal languages which express properties of words are considered: a first-order predicate calculus, and a monadic second-order calc'ulus. ...
Since v == 'ID, Player II can win the game on 11 and tv, and this strategy gives a winning strategy for Player II on vs and tvs. ...
doi:10.1007/978-3-662-22108-2_9
dblp:conf/logicColl/Lynch95
fatcat:xnez2ltz7bfanf7vg7j7q7fcjm
Polydefinites in Greek: Ellipsis, close apposition and expletive determiners
2011
Journal of Linguistics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This ensures the restrictive interpretation of one DP over the other. ...
This operation, semantically tantamount to set intersection, is constrained to apply only when the resulting set is not co-extensive with either initial set. ...
As Kolliakou's paradigm shows, the interpretation of polydefinites is different from that of monadics only with respect to the adjective (obligatory vs. optional restrictive interpretation). ...
doi:10.1017/s0022226711000326
fatcat:uw2b5jaw4bfffc7bkuikzmjsba
Definiteness, partitivity, and domain restriction: A fresh look at definite reduplication
[chapter]
2019
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Acknowledgements We thank Alda Mari and Marika Lekakou for their comments on earlier material related to this paper. ...
First, [o-kathe NP] cannot co-occur with the demonstrative pronoun (aftos 'this', ekinos 'that') -which in Greek, like in many other languages, must embed DPs (Stavrou 1983; Stavrou & Horrock 1989; Alexiadou ...
The simple monadic definite, on the other hand, lacks C and there is no partitive effect. (53) to kokkino podhilato ('the red bike') = 𝜄 (red(x) ∩ bike (x)). ...
doi:10.5281/zenodo.3252031
fatcat:vvelhw5wtvdyhmwygoktyiwocm
Logic for Unambiguous Context-Free Languages
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We obtain a new connection between two undecidable problems, a logical one and a language theoretical one. ...
A fragment of the logic characterizing context free languages given by Lautemann, Schwentick and Th\'erien [18] based on implicit definability is used for this aim. ...
Logic vs. ...
arXiv:1604.04139v1
fatcat:zl7oca2anrcjjp7rhklibeione
Page 1835 of Mathematical Reviews Vol. , Issue 98C
[page]
1998
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Lutz and Elvira Mayordomo, Weakly useful sequences (393-404); Thomas Schwentick, Graph connectivity, monadic NP and built-in relations of moderate degree (405-416); Thomas A. Henzinger, Peter W. ...
Royer, Semantics vs syntax vs computations: machine models for type-2 polynomial-time bounded functionals (424-436); Nicholas Tran, On P-immunity of exponential time complete sets (437-440). ...
INTRODUZINDO ARGUMENTOS À ESTRUTURA VERBAL KARITIANA
2020
Alfa: Revista de Lingüística
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this case, the specifier is depicted by the NP taso 'man.' ...
the NP boet marked by a postposition, and (iii) the verb hit. ...
doi:10.1590/1981-5794-e11678
fatcat:f5valcmvq5dgdivu35gidzxnwe
« Previous
Showing results 1 — 15 out of 702 results