Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Complétude")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 2954

  • Page / 119
Export

Selection :

  • and

Weak completeness in E and E2JUEDES, D. W; LUTZ, J. H.Theoretical computer science. 1995, Vol 143, Num 1, pp 149-158, issn 0304-3975Article

Pointwise completenesess and functional controllability of linear delay systemsBALACHANDRAN, K; SOMASUNDARAM, D.Kybernetes. 1986, Vol 15, Num 2, pp 93-96, issn 0368-492XArticle

UEBER METRISCHE KLEENE-VOLLSTAENDIGKEIT. = SUR LA COMPLETUDE DE KLEENE EN METRIQUEDASSOW J.1975; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DTSCH.; DA. 1975; VOL. 11; NO 9; PP. 557-560; ABS. ANGL. RUSSE; BIBL. 5 REF.Article

Logics containing K4. IIFINE, K.The Journal of symbolic logic. 1985, Vol 50, Num 3, pp 619-651, issn 0022-4812Article

Equivalence of completeness and contraction propertyXIANG, Shu-Wen.Proceedings of the American Mathematical Society. 2007, Vol 135, Num 4, pp 1051-1058, issn 0002-9939, 8 p.Article

Some complexity issues in digital signal processingCAPPELLO, P. R; STEIGLITZ, K.IEEE transactions on acoustics, speech, and signal processing. 1984, Vol 32, Num 5, pp 1037-1041, issn 0096-3518Article

Calabi conjecture on hyperbolic affine hyperspheres (II)AN-MIN LI.Mathematische Annalen. 1992, Vol 293, Num 3, pp 485-493, issn 0025-5831Article

Décision des problèmes de compléments associatifs-commutatifs = Decision of associative-commutative complement problemsMoysset, Jean-Luc; Lugiez, D.1995, 124 p.Thesis

On the completeness of modular proof systemsRAMESH, S.Information processing letters. 1990, Vol 36, Num 4, pp 195-201, issn 0020-0190, 7 p.Article

A new complete language for DSPACE(log n)JIAN-ER CHEN.Discrete applied mathematics. 1989, Vol 25, Num 1-2, pp 19-26, issn 0166-218X, 8 p.Article

Fixed point theorems for a broad class of multimapsNAIDU, S. V. R.Nonlinear analysis. 2003, Vol 52, Num 3, pp 961-969, issn 0362-546X, 9 p.Article

On the completeness of certain sets of functions in L 2(0, ∞)DAVIDSON, E. R; KATRIEL, J.Journal of physics. A, mathematical and general. 1986, Vol 19, Num 1, pp L5-L7, issn 0305-4470Article

The simultaneous consecutive ones problemOSWALD, Marcus; REINELT, Gerhard.Theoretical computer science. 2009, Vol 410, Num 21-23, pp 1986-1992, issn 0304-3975, 7 p.Article

A completeness theorem for dynamic logicCSIRMAZ, L.Notre Dame journal of formal logic. 1985, Vol 26, Num 1, pp 51-60, issn 0029-4527Article

Gleason's theorem and completeness of inner product spacesDVURECENSKIJ, A; MISIK, L. JR.International journal of theoretical physics. 1988, Vol 27, Num 4, pp 417-426, issn 0020-7748Article

The Power of Quantum Systems on a LineAHARONOV, Dorit; GOTTESMAN, Daniel; IRANI, Sandy et al.Communications in mathematical physics. 2009, Vol 287, Num 1, pp 41-65, issn 0010-3616, 25 p.Article

Predication and Deduction in Aristotle : Aspirations to CompletenessSMITH, R.Topoi. 1991, Vol 10, Num 1, pp 43-52, issn 0167-7411Article

Une logique trivaluée appliquée à la Programmation Logique = A three-valued logic and its application to Logic ProgrammingThibau, Violaine; Delahaye, Jean-Paul.1990, 201 p.Thesis

State on splitting subspaces and completeness of inner product spacesDVURECENSKIJ, A; PULMANNOVA, S.International journal of theoretical physics. 1988, Vol 27, Num 9, pp 1059-1067, issn 0020-7748Article

Circumscription : completeness reviewedJAEGER, M.Artificial intelligence. 1993, Vol 60, Num 2, pp 293-301, issn 0004-3702Article

The natural topology of Matlis reflexive modulesBELSHOFF, R.Bulletin of the Australian Mathematical Society. 1993, Vol 47, Num 1, pp 149-154, issn 0004-9727Article

Complete proof rules for strong fairness and strong extreme fairnessMAIN, M. G.Theoretical computer science. 1993, Vol 111, Num 1-2, pp 125-143, issn 0304-3975Conference Paper

Complete affine hypersurfaces. I: The completeness of affine metricsSHIU-YUEN CHENG; SHING-TUNG YAU.Communications on pure and applied mathematics. 1986, Vol 39, Num 6, pp 839-866, issn 0010-3640Article

Loop formulas for disjunctive logic programsLEE, Joohyung; LIFSCHITZ, Vladimir.Lecture notes in computer science. 2003, pp 451-465, issn 0302-9743, isbn 3-540-20642-6, 15 p.Conference Paper

Certain NP-complete matching problemsLOIZOU, G.Information sciences. 1984, Vol 32, Num 2, pp 117-121, issn 0020-0255Article

  • Page / 119