Logique ordre 1 And NotCesare Tinelli
List of bibliographic references
Number of relevant bibliographic references: 13.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000171 | Joris Rehm [France] | Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method |
| 000385 | Pascal Fontaine [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] ; Leonor Prensa Nieto [France] ; Alwen Tiu [France] | Expressiveness + automation + soundness : Towards combining SMT solvers and interactive proof assistants |
| 000403 | Guillaume Burel [France] ; Claude Kirchner [France] | Completion Is an Instance of Abstract Canonical System Inference |
| 000473 | Alessandro Armando [Italie] ; Maria Paola Bonacina [Italie] ; Silvio Ranise [France] ; Stephan Schulz [Italie] | On a rewriting approach to satisfiability procedures : Extension, combination of theories and an experimental appraisal |
| 000476 | Francois Lamarche [France] ; Lutz Strassburger [Allemagne] | Naming proofs in classical propositional logic |
| 000732 | Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France] | A rewriting approach to satisfiability procedures |
| 000826 | Egidio Astesiano [Italie] ; Michel Bidoit [France] ; Hélène Kirchner [France] ; Bernd Krieg-Brückner [Allemagne] ; Peter D. Mosses [Danemark] ; Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki [Pologne] | CASL: the Common Algebraic Specification Language |
| 000827 | Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France] | Binding logic: Proofs and models |
| 000874 | Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France] | Uniform derivation of decision procedures by superposition |
| 000879 | Alessandro Armando [Italie] ; Luca Compagna [Italie] ; Silvio Ranise [Italie, France] | System description : RDL rewrite and decision procedure laboratory |
| 000921 | Jean-Yves Marion [France] | Actual arithmetic and feasibility |
| 000975 | Philippe De Groote [France] | Proof-search in implicative linear logic as a matching problem |
| 000D62 | M. Rusinowitch [France] | Theorem-proving with resolution and superposition |
| This area was generated with Dilib version V0.6.33. |  |