provably < prove < proved

Facettes : Author.f AffPays.f AffOrg.f AffRegion.f AffVille.f

List of bibliographic references

Number of relevant bibliographic references: 241.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000074 (2005)	Franz Baader [Allemagne] ; Andrei Voronkov [Royaume-Uni]	Ordered Resolution with Selection for $\mathcal{H}(@)$
000097 (2005)	Ciprian Borcea [États-Unis] ; Xavier Goaoc [France] ; Sylvain Lazard [France] ; Sylvain Petitjean [France]	Common Tangents to Spheres in ℝ3
000100 (1998)	Carlos Castro [France]	COLETTE, prototyping CSP solvers using a rule-based language
000114 (2013)	Hans Van Ditmarsch [France] ; Andreas Herzig [France] ; Emiliano Lorini [France] ; François Schwarzentruber [France]	Listen to Me! Public Announcements to Agents That Pay Attention — or Not
000253 (2013)	Tom Gundersen [France, Norvège] ; Willem Heijltjes [Royaume-Uni] ; Michel Parigot [France]	A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus
000288 (2007)	Otfried Cheong [Corée du Sud] ; Xavier Goaoc [France] ; Andreas Holmsen [Norvège] ; Sylvain Petitjean [France]	Helly-Type Theorems for Line Transversals to Disjoint Unit Balls
000297 (2008)	Emmanuel Hainry [France]	Computing Omega-Limit Sets in Linear Dynamical Systems
000309 (2007)	Houda Anoun [France]	Une bibliothèque Coq pour le traitement des langues naturelles
000351 (2002)	Dimitri Hendriks	Proof Reflection in Coq
000364 (2007)	Eun-Young Kang [France] ; Stephan Merz [France]	Predicate diagrams for the verification of real-time systems
000377 (1999)	Arnaud Durand [France] ; Miki Hermann [France] ; Laurent Juban [France]	On the Complexity of Recognizing the Hilbert Basis of a Linear Diophantine System
000385 (2008)	Hind Fadil [France] ; Jean-Luc Koning [France]	Vers une approche formelle pour la validation des protocoles d’interaction en systèmes multi-agents
000390 (2001)	Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; John N. Tsitsiklis	The Stability of Saturated Linear Dynamical Systems Is Undecidable
000397 (1995)	Michaël Rusinowitch [France] ; Laurent Vigneron [France]	Automated deduction with associative-commutative operators
000439 (1999)	Dieter Hofbauer [Allemagne] ; Maria Huber [Allemagne]	Test Sets for the Universal and Existential Closure of Regular Tree Languages
000470 (2005)	Jérôme Rocheteau [France]	λμ -Calculus and Duality: Call-by-Name and Call-by-Value
000479 (2006)	Weiming Dong [France]	Rendering Optical Effects Based on Spectra Representation in Complex Scenes
000507 (1988)	Isabelle Gnaedig [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]	Equational completion in order-sorted algebras extended abstract
000518 (2008)	Murdoch J. Gabbay [Royaume-Uni] ; Aad Mathijssen [Pays-Bas]	Capture-avoiding substitution as a nominal algebra
000524 (2009)	Johannes Waldmann [Allemagne]	Automatic Termination
000530 (2006)	A. Derdzinski [États-Unis] ; G. Maschler [États-Unis]	Special Kähler-Ricci potentials on compact Kähler manifolds

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i -k "prove" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "prove" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    prove
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022