, Exemple, vol.176, pp.197-198
, ¬p(x) ? q(x) ? r(x, f (x)
, q(a) ? r (f (a)) res(2, 4) avec
, 14. ¬r (f (a)) res(7, 13) avec
, On note ?? la formule close ? x? où x est une suite des variables libres dans ?, Correction et complétude Notation, vol.177
,
, On démontre le lemme 133 par induction sur ?
, x n les variables libres de ? et soit t 1 ,. .. t n des termes clos. On a : M
, P, p.1
Computational Complexity-A Modern Approach, 2009. ,
Mathematical logic for computer science, 2012. ,
, Computability and logic, 1987.
Principles of model checking, 2008. ,
Term rewriting and all that, 1998. ,
The complexity of elementary algebra and geometry, Journal of Computer and System Sciences, vol.32, issue.2, pp.251-264, 1986. ,
The boolean formula value problem is in ALOGTIME, Proceedings of the 19th Annual ACM Symposium on Theory of Computing, pp.123-131, 1987. ,
Improving the variable ordering of obdds is np-complete, IEEE Trans. Computers, vol.45, issue.9, pp.993-1002, 1996. ,
Some algebraic and geometric computations in pspace, Proceedings of the twentieth annual ACM symposium on Theory of computing, pp.460-467, 1988. ,
Langages formels, calculabilité et complexité, vol.101, 2008. ,
Logique mathématique ii. fonctions récursives, théorème de gödel, théorie des ensembles, théorie des modèles, 1993. ,
Logique mathématique, tome 1 : Calcul propositionnel, algèbre de boole, calcul des prédicats, coll. Sciences Sup, 2003. ,
Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre, 2012. ,
Introduction à la logique : théorie de la démonstration : cours et exercices corrigés. Dunod, 2001. ,
, Algorithms, 2016.
, La logique pas à pas. PPUR Presses polytechniques, 2015.
On the complexity of time table and multicommodity flow problems, Foundations of Computer Science, 1975., 16th Annual Symposium on, pp.184-193, 1975. ,
Super-exponential complexity of presburger arithmetic, 1974. ,
Proof theory and automated deduction, vol.6, 2001. ,
Handbook of practical logic and automated reasoning, 2009. ,
Decision procedures : an algorithmic point of view, 2008. ,
, René Lalement. Logique, réduction, résolution, 1990.
Logique et fondements de l'informatique, Hermes, 1993. ,
Compilation : Analyse lexicale et syntaxique du texte à sa structure en informatique, Reference Sciences. Ellipses, 2015. ,
Enumerable sets are diophantine, Mathematical Logic In The 20th Century, pp.269-273, 2003. ,
A 2 22pn upper bound on the complexity of presburger arithmetic, Journal of Computer and System Sciences, vol.16, issue.3, pp.323-332, 1978. ,
Models of computation-exploring the power of computing, 1998. ,
Introduction to the theory of computation, 1997. ,
Introduction to the Theory of Computation, Thomson Course Technology, vol.27, 2006. ,
Word problems requiring exponential time (preliminary report), Proceedings of the fifth annual ACM symposium on Theory of computing, pp.1-9, 1973. ,
The complexity of the optimal variable ordering problems of shared binary decision diagrams, Algorithms and Computation, 4th International Symposium, ISAAC '93, pp.389-398, 1993. ,
Foundations of mathematical analysis, 1997. ,