Carlo Pistone < Carlos Areces < Carlos Buil Aranda

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 31.
[0-20] [0 - 20][0 - 31][20-30][20-40]

Ident.	Authors (with country if any)	Title
000031 (2013-07-08)	Carlos Areces ; David Déharbe ; Pascal Fontaine ; Orbe Ezequiel	SyMT: finding symmetries in SMT formulas
000036 (2003)	Carlos Areces ; Juan Heguiabehere	hGen: A Random CNF Formula Generator for Hybrid Languages
000E84 (2001)	Carlos Areces ; Raffaella Bernardi	Analyzing the Core of Categorial Grammar
001310 (2001)	Carlos Areces ; Patrick Blackburn	Bringing them all together
001523 (2010-08-12)	Carlos Areces ; Daniel Gorín	Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
001615 (2011-10-05)	Carlos Areces ; Pascal Fontaine	Combining theories: the Ackerman and Guarded Fragments
001690 (2009-01-03)	Carlos Areces ; Sergio Mera ; Santiago Figueira	Completeness results for memory logics
002110 (2007-11-29)	Dmitry Sustretov ; Guillaume Hoffmann ; Carlos Areces ; Patrick Blackburn	Experiments in Theorem Proving for Topological Hybrid Logic
002149 (2008-07-01)	Carlos Areces ; Diego Figueira ; Santiago Figueira ; Sergio Mera	Expressive Power and Decidability for Memory Logics
002710 (2007-11-29)	Guillaume Hoffmann ; Carlos Areces	HTab: A Terminating Tableaux System for Hybrid Logic
002721 (2003)	Carlos Areces ; Patrick Blackburn ; Bernardette Martinez Hernandez ; Maarten Marx	Handling Boolean ABoxes
002872 (2001)	Carlos Areces ; Patrick Blackburn ; Maarten Marx	Hybrid Logic: Characterization, Interpolation and Complexity
002A39 (2003)	Carlos Areces ; Raffaella Bernardi	In Situ Binding: A Hybrid Approach
002D37 (2001)	Carlos Areces ; Patrick Blackburn	Journal of Logic and Computation. Special Issue on Hybrid Logic
002D52 (2005)	Carsten Lutz ; Carlos Areces ; Ian Horrocks ; Ulrike Sattler	Keys, Nominals, and Concrete Domains
002D53 (2003)	Carsten Lutz ; Carlos Areces ; Ian Horrocks ; Ulrike Sattler	Keys, Nominals, and Concrete Domains
002F78 (2014)	Carlos Areces ; Hans Van Ditmarsch ; Raul Fervari ; François Schwarzentruber	Logics with Copy and Remove
003173 (2008)	Carlos Areces ; Stephane Demri	Methods for Modalities 2007
003174 (2005)	Carlos Areces	Methods for Modalities 3
003242 (2010-07-06)	Carlos Areces ; Guillaume Hoffmann ; Alexandre Denis	Modal Logics with Counting
003245 (2015)	Carlos Areces ; Pascal Fontaine ; Stephan Merz	Modal Satisfiability via SMT Solving

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Carlos Areces" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Carlos Areces" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Carlos Areces
}}

---

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