Tuesday, October 6, 2015



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica

Mostrando recursos 121 - 140 de 150,068

121. Verifying Safety Properties With the TLA+ Proof System - Chaudhuri, Kaustuv; Doligez, Damien; Lamport, Leslie; Merz, Stephan
The original publication is available at www.springerlink.com

122. Lightweight Hybrid Tableaux - Hoffmann, Guillaume
International audience

123. Integrated Formal Methods - Méry, Dominique; Merz, Stephan
This volume contains the proceedings of iFM 2010, the 8th International Conference on Integrated Formal Methods. The conference took place during October 12-14, 2010, at the INRIA research center and the LORIA laboratory in Nancy, France. Previous editions were held in York, Dagstuhl, Turku, Canter- bury, Eindhoven, Oxford, and Düsseldorf. The iFM conference series seeks to promote research into the combination of different formal methods, and of formal and semi-formal methods, for system development. Such combinations are useful in order to apprehend different aspects of systems, including functional correctness, security, performance, and fault-tolerance. The conference provides a forum for discussing...

124. Formal Verification of Consensus Algorithms in a Proof Assistant - Debrat, Henri; Charron-Bost, Bernadette; Merz, Stephan
International audience

125. Model Checking the Pastry Routing Protocol - Lu, Tianxiang; Merz, Stephan; Weidenbach, Christoph
short communication

126. Topological semantics for hybrid logic - Sustretov, Dmitry
Ph.D. in Computer Science, INRIA Nancy Grand Est, projet TALARIS/Université Henri Poincaré, Nancy, France. Under supervision of Patrick Blackburn.

127. Exploring and Exploiting Algebraic and Graphical Properties of Resolution - Fontaine, Pascal; Merz, Stephan; Woltzenlogel Paleo, Bruno
International audience

128. Physics and Proof Theory - Woltzenlogel Paleo, Bruno
Axiomatization of Physics (and Science in general) has many drawbacks that are correctly criticized by opposing philosophical views of Science. This paper shows that, by giving formal proofs a more promi- nent role in the formalization, many of the drawbacks can be solved and many of the opposing views are naturally conciliated. Moreover, this ap- proach allows, by means of Proof Theory, to open new conceptual bridges between the disciplines of Physics and Computer Science.

129. Atomic Cut Introduction by Resolution: Proof Structuring and Compression - Woltzenlogel Paleo, Bruno
The original publication is available at www.springerlink.com

130. System Description: The Proof Transformation System CERES - Dunchev, Tsvetan; Leitsch, Alexander; Libal, Tomer; Weller, Daniel; Woltzenlogel Paleo, Bruno
The original publication is available at www.springerlink.com

131. Proof Compression with the CIRes Method [Abstract] - Woltzenlogel Paleo, Bruno
It is well-known that eliminating cuts from sequent calculus proofs frequently increases the size and length of proofs. In the worst case, cut-elimination can produce non-elementarily larger and longer proofs [3, 2]. Given this fact, it is natural to attempt to devise methods that could introduce cuts and compress cut-free proofs. However, this has been a notoriously difficult task. Indeed, the problem of answering, given a proof φ and a number l such that l ≤ length(φ), whether there is a proof ψ (possibly with cuts) of the same theorem and such that length(ψ) < l is known to be...

132. Special Issue on Hybrid Logics - Areces, Carlos; Blackburn, Patrick
Special Issue of the Journal of Applied Logic. C. Areces and P. Blackburn (editors).

133. Modular Graph Rewriting to Compute Semantics - Bonfante, Guillaume; Guillaume, Bruno; Morey, Mathieu; Perrier, Guy
International audience

134. Enrichissement de structures en dépendances par réécriture de graphes - Bonfante, Guillaume; Guillaume, Bruno; Morey, Mathieu; Perrier, Guy
International audience

135. Handbook of Modal Logic - Blackburn, Patrick; Van Benthem, Johan; Wolter, Frank
International audience

136. Some Remarks on Relations between Proofs and Games - Galmiche, Didier; Larchey-Wendling, Dominique; Vidal-Rosset, Joseph
This paper aims at studying relations between proof systems and games in a given logic and at analyzing what can be the interest and limits of a game formulation as an alternative semantic framework for modeling proof search and also for understanding relations between logics. In this perspective, we rstly study proofs and games at an abstract level which is neither related to a particular logic nor adopts a speci c focus on their relations. Then, in order to instantiate such an analysis, we describe a dialogue game for intuitionistic logic and emphasize the adequateness between proofs and winning strategies...

137. A type system for complexity flow analysis - Marion, Jean-Yves
International audience

138. Quasi-interpretations a way to control resources - Bonfante, Guillaume; Marion, Jean-Yves; Moyen, Jean-Yves
International audience

139. An Implicit Characterization of PSPACE - Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona
International audience

140. Exploiting Symmetry in SMT Problems - Déharbe, David; Fontaine, Pascal; Merz, Stephan; Woltzenlogel Paleo, Bruno
International audience

Página de resultados:

Busque un recurso