AbsEn.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AbsEn.i » - entrée « theories »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
theorical < theories < theoriese  Facettes :

List of bibliographic references indexed by theories

Number of relevant bibliographic references: 458.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000052 (2016-03-09) Yamine Ait Ameur [France] ; Dominique Méry [France]Making explicit domain knowledge in formal system development
000102 (2016) Frédéric Bimbot [France] ; Emmanuel Deruty [France] ; Gabriel Sargent [France] ; Emmanuel Vincent [France]System & Contrast : A Polymorphous Model of the Inner Organization of Structural Segments within Music Pieces
000126 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
000192 (2015-12-14) Thomas Creutzig [Canada] ; Yasuaki Hikida [Japon] ; Peter R Nne [France]Correspondences between WZNW models and CFTs with W -algebra symmetry
000248 (2015-11-03) Jérôme Gleyzes [France] ; David Langlois [France] ; Filippo Vernizzi [France]A unifying description of dark energy
000316 (2015-09-21) Serdar Erbatur [Allemagne] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Unification and Matching in Hierarchical Combinations of Syntactic Theories
000318 (2015-09-21) Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Rewriting Approach to the Combination of Data Structures with Bridging Theories
000414 (2015-08-03) Andrew Reynolds [Suisse] ; Jasmin Christian Blanchette [France]A Decision Procedure for (Co)datatypes in SMT Solvers
000424 (2015-08) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Beagle – A Hierarchic Superposition Prover
000425 (2015-08) Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited
000557 (2015-05) Jérôme Gleyzes [France] ; David Langlois [France] ; Federico Piazza [France] ; Filippo Vernizzi [France]New Class of Consistent Scalar-Tensor Theories
000622 (2015-03) Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France]A rule-based system for automatic decidability and combinability
000693 (2015) Jannik Dreier [France] ; Cristian Ene [France] ; Pascal Lafourcade [France] ; Yassine Lakhnech [France]On the existence and decidability of unique decompositions of processes in the applied π-calculus
000727 (2015) Maximilian Jaroschek [Allemagne] ; Pablo Federico Dobal [Allemagne] ; Pascal Fontaine [France]Adapting Real Quantifier Elimination Methods for Conflict Set Computation
000844 (2014-12-08) Hernán Vanzetto [France]Proof automation and type synthesis for set theory in the context of TLA+
000883 (2014-11-07) Sai Qian [France]Accessibility of Referents in Discourse Semantics
000945 (2014-09-14) Gabin Personeni [France] ; Simon Daget [France] ; Céline Bonnet [France] ; Philippe Jonveaux [France] ; Marie-Dominique Devignes [France] ; Malika Smaïl-Tabbone [France] ; Adrien Coulet [France]ILP for Mining Linked Open Data: a biomedical Case Study
000A25 (2014-07-22) Neeraj Kumar Singh [Canada] ; Dominique Méry [France]Event B (english version)
000A31 (2014-07-19) Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Gentle Non-Disjoint Combination of Satisfiability Procedures
000A32 (2014-07-18) Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions
000A33 (2014-07-18) Clark Barrett [États-Unis] ; Leonardo De Moura [États-Unis] ; Pascal Fontaine [France]Proofs in satisfiability modulo theories

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i -k "theories" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i  \
                -Sk "theories" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    theories
}}
Wicri

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