Hierarchies of decidable extensions of bounded quantificationVorobyov, Sergei.1994, 29 p.Report

Un résultat de complétude pour les types ∀⁺ du système F = A completeness result for the ∀⁺ types of system FFARKH, S; NOUR, K.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1998, Vol 326, Num 3, pp 275-279, issn 0764-4442Article

F≤ : bounded quantification in not essentially undecidableVorobyov, Sergei.1994, 15 p.Report

Quantizer monotonicities and globally optimal scalar quantizer designXIAOLIN WU; KAIZHONG ZHANG.IEEE transactions on information theory. 1993, Vol 39, Num 3, pp 1049-1053, issn 0018-9448Article

Definability of models by means of existential formulas without identityPAZDYKA, P.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 424-434, issn 0022-4812Conference Paper

Intermediate quantifiers versus percentagesCARNES, R. D; PETERSON, P. L.Notre Dame journal of formal logic. 1991, Vol 32, Num 2, pp 294-306, issn 0029-4527Article

More algebras for determinersZUBER, R.Lecture notes in computer science. 2005, pp 347-362, issn 0302-9743, isbn 3-540-25783-7, 16 p.Conference Paper

Solving writing issues related to non-native writers of EnglishRUBENS, Philin; SOUTHARD, Sherry.IEEE international professional communication conference. 2004, pp 42-46, isbn 0-7803-8467-9, 1Vol, 5 p.Conference Paper

Quantifier elimination in p-adic fieldsDUBHASHI, D. P.Computer journal (Print). 1993, Vol 36, Num 5, pp 419-426, issn 0010-4620Article

Exercises in quantifier manipulationBACKHOUSE, Roland; MICHAELIS, Diethard.Lecture notes in computer science. 2006, pp 69-81, issn 0302-9743, isbn 3-540-35631-2, 1Vol, 13 p.Conference Paper

Optimale Quantisierer für-komplexe, kreisnormale zufallsgrössen mit unbekannter Varianz = Quantificateurs optimaux pour variables complexes circulaires aléatoires normales avec variance inconnue = Optimal quantizers for complex circular normal random variables with unknown varianceSAPPL, E.AEU. Archiv für Elektronik und Übertragungstechnik. 1986, Vol 40, Num 4, pp 208-212, issn 0001-1096Article

Quantifier trees for QBFsBENEDETTI, Marco.Lecture notes in computer science. 2005, pp 378-385, issn 0302-9743, isbn 3-540-26276-8, 8 p.Conference Paper

Nested queries and quantifiers in an ordered contextMAY, Norman; HELMER, Sven; MOERKOTTE, Guido et al.International Conference on data engineering. 2004, pp 239-250, isbn 0-7695-2065-0, 1Vol, 12 p.Conference Paper

Comparaison de propriétés modèle-théoriques et de propriétés algébriques des groupes polycycliques-par-finis = Comparing model-theoretical properties and algebraic properties of polycyclic-by-finite groupsMartins Raphael, Déborah; Sabbagh, G.1996, 48 p.Thesis

Antonyms and linguistic quantifiers in fuzzy logicNOVAK, Vilém.Fuzzy sets and systems. 2001, Vol 124, Num 3, pp 335-351, issn 0165-0114Article

On expressing vague quantification and scalar implicatures in the logic of partial informationABDALLAH, Areski Nait; LECOMTE, Alain.Lecture notes in computer science. 2005, pp 205-220, issn 0302-9743, isbn 3-540-25783-7, 16 p.Conference Paper

Elimination des quantificateurs sur les réels pour Coq = Quantifier removing on the reals for CoqMAHBOUBI, Assia; POTTIER, Loïc.Journées francophones des langages applicatifs. 2002, pp 101-116, isbn 2-7261-1197-1, 16 p.Conference Paper

Quantifier responsivenessPOWERS, L.Notre Dame journal of formal logic. 1987, Vol 28, Num 3, pp 322-355, issn 0029-4527Article

Design of optimal quantizers with an entropy constraintEGGERTON, J. D; SRINATH, M. D.Computers & electrical engineering. 1986, Vol 12, Num 3-4, pp 147-153, issn 0045-7906Article

Corps aux différences finies = Finite-difference fieldsNONVIDE, S.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1992, Vol 314, Num 6, pp 423-425, issn 0764-4442Article

Decidability of freshness, undecidability of revelationCONFORTI, Giovanni; GHELLI, Giorgio.Lecture notes in computer science. 2004, pp 105-120, issn 0302-9743, isbn 3-540-21298-1, 16 p.Conference Paper

Analysis and design of 1-bit noise-shaping quantizer using variable structure control approachHU, Jwusheng; YU, Shiang-Hwua.American Control Conference. 2004, pp 1271-1276, isbn 0-7803-8335-4, 6 p.Conference Paper

Results and conjectures on high rate quantizationGRAY, Robert M; LINDER, Tamas.Data Compression Conference. 2004, pp 3-12, isbn 0-7695-2082-0, 1Vol, 10 p.Conference Paper

The undecidability of the first-order theories of one step rewriting in linear canonical systemsVOROBYOV, Sergei.Information and computation (Print). 2002, Vol 175, Num 2, pp 182-213, issn 0890-5401Article

Decidable classes of inductive theoremsGIESL, Jiirgen; KAPUR, Deepak.Lecture notes in computer science. 2001, pp 469-484, issn 0302-9743, isbn 3-540-42254-4Conference Paper