General correctness a unification of partial and total correctnessJACOBS, D; GRIES, D.Acta informatica. 1985, Vol 22, Num 1, pp 67-83, issn 0001-5903Article

Preuves de vivacité des programmes séquentiels dans la logique temporelle = Vivacity proofs of sequential programs in temporal logicDELPORTE, Carole.1983, 227 fThesis

Efficient execution in a class of term rewriting systemsSUGIYAMA, Y; TANIGUCHI, K; KASAMI, T et al.Systems, computers, controls. 1982, Vol 13, Num 4, pp 22-30, issn 0096-8765Article

The liveness property of on-the-fly garbage collector: a proofRAMESH, S; MEHNDIRATTA, S. L.Information processing letters. 1983, Vol 17, Num 4, pp 189-195, issn 0020-0190Article

Le paradoxe de la preuve en histoire. Une approche rhétorique de l'écriture d'Arlette Farge = The paradox of evidence in history. A rhetorical approach to Arlette Farge's writingFERRY, Victor.Mots (Paris. 1980). 2011, Num 95, issn 0243-6450, 119-135, 151-152 [19 p.]Article

Completeness of proof systems for equatorial specificationsMACQUEEN, D. B; SANNELLA, D. T.IEEE transactions on software engineering. 1985, Vol 11, Num 5, pp 454-461, issn 0098-5589Article

QUE PROUVENT, CHEZ HEGEL, LES PREUVES DE L'EXISTENCE DE DIEU ?MARMASSE, Gilles.Les Etudes philosophiques (Paris). 2010, Num 1, issn 0014-2166, 109-129, 147 [22 p.]Article

Possible disagreements and defeat = Désaccords possibles et défaiteCAREY, Brandon.Philosophical studies. 2011, Vol 155, Num 3, pp 371-381, issn 0031-8116, 11 p.Article

On the possibility of force-free magnetic fieldsZAGHLOUL, H.Physics letters. A. 1989, Vol 140, Num 3, pp 95-96, issn 0375-9601, 2 p.Article

On the notion of expressiveness and the rule of adaptationOLDEROG, E.-R.Theoretical computer science. 1983, Vol 24, Num 3, pp 337-347, issn 0304-3975Article

Les différentes preuves possibles : de la délivrance de l'information au patientLAURIER, Dominique.Concours médical (Paris). 2005, Vol 127, Num 21, pp 1157-1158, issn 0010-5309, 2 p.Article

Kierkegaard on Theistic ProofSTERN, K.Religious studies. 1990, Vol 26, Num 2, pp 219-226, issn 0034-4125Article

Structure of proofs and the complexity of cut eliminationWENHUI ZHANG.Theoretical computer science. 2006, Vol 353, Num 1-3, pp 63-70, issn 0304-3975, 8 p.Article

Resolution remains hard under equivalence : The Satisfiability ProblemBÜNING, H. K; LETTMANN, T.Discrete applied mathematics. 1999, Vol 96-97, pp 139-148, issn 0166-218XArticle

Streams and strings in formal proofsCARBONE, A.Theoretical computer science. 2002, Vol 288, Num 1, pp 45-83, issn 0304-3975, 39 p.Conference Paper

From a Particular Diagram to a Universal Result: Euclid's Elements, Book IRAYMOND, Dwayne.Apeiron. 2011, Vol 44, Num 3, pp 211-218, issn 0003-6390, 8 p.Article

Disagreement, equal weight and commutativity = Désaccord, poids égal et commutativitéWILSON, Alastair.Philosophical studies. 2010, Vol 149, Num 3, pp 321-326, issn 0031-8116, 6 p.Article

Evidence does not equal knowledge = La preuve n'égale pas la connaissanceRIZZIERI, Aaron.Philosophical studies. 2011, Vol 153, Num 2, pp 235-242, issn 0031-8116, 8 p.Article

A logic covering undefinedness in program proofsBARRINGER, H; CHENG, J. H; JONES, C. B et al.Acta informatica. 1984, Vol 21, Num 3, pp 251-269, issn 0001-5903Article

New Proofs for the Existence of GodPINSENT, Andrew.Harvard theological review. 2011, Vol 104, Num 2, pp 255-262, issn 0017-8160, 8 p.Article

Ein Paradigma auf dem Prüfstand: Was ist und wie gut ist der Naturalismus? = A Paradigm of Test Stand: What Is Naturalism and What Does it Worth?GOEBEL, Bernd.Philosophisches Jahrbuch (Freiburg). 2011, Vol 118, Num 1, pp 129-147, issn 0031-8183, 19 p.Article

Krachtige bewijzen = Constructive proofsIEMHOFF, Rosalie.Algemeen Nederlands tijdschrift voor wijsbegeerte. 2010, Vol 102, Num 4, issn 0002-5275, 254-260, 279 [8 p.]Article

On weakly convex star-shaped polyhedraSCHLENKER, Jean-Marc.Discrete mathematics. 2009, Vol 309, Num 20, pp 6139-6145, issn 0012-365X, 7 p.Article

Constanten, of variabelen, van het logisch denken = Constants, or Variables, of Logical ThoughtVAN BENTHEM, Johan.Algemeen Nederlands tijdschrift voor wijsbegeerte. 2008, Vol 100, Num 4, issn 0002-5275, 296-304, 357 [10 p.]Article

La prova e il potere. Saggio su Michel FoucaultDADDABBO, L.Paradigmi. 1991, Vol 9, Num 25, pp 79-103, issn 1120-3404Article