Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Titre (en) » - entrée « theoretic »
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.
theorems < theoretic < theoretical  Facettes :

List of bibliographic references indexed by theoretic

Number of relevant bibliographic references: 47.
[0-20] [0 - 20][0 - 47][20-40]
Ident.Authors (with country if any)Title
000571 (2015-04-20) Miguel Couceiro [France] ; Tamas Waldhauser [Hongrie]Lattice-Theoretic Approach to Version Spaces in Qualitative Decision Making
000606 (2015-03-21) Mohamed Said Seddiki [Tunisie] ; Mounir Frikha [Tunisie] ; Ye-Qiong Song [France]A non-cooperative game-theoretic framework for resource allocation in network virtualization
000793 (2015) Philippe De Groote [France]Proof-Theoretic Aspects of the Lambek-Grishin Calculus
000894 (2014-11) Laurence Danlos [France] ; Philippe De Groote [France] ; Sylvain Pogodalla [France]A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars
000C99 (2014-01-22) Giuseppe Castagna [France] ; Kim Nguyen [France] ; Zhiwu Xu [France] ; Hyeonseung Im [France] ; Sergueï Lenglet [France] ; Luca Padovani [Italie]Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation
002300 (2011-06-18) François Lamarche [France]A new homotopy-theoretic interpretation of Martin-Löf's identity type.
002534 (2011) Olivier Bournez [France] ; Walid Gomaa [Égypte] ; Emmanuel Hainry [France]Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions
002789 (2011) Denys Duchier [France] ; Jean-Philippe Prost [France] ; Thi-Bich-Hanh Dao [France]A Model-Theoretic Framework for Grammaticality Judgements
003143 (2010) Konstantinos Tsakalis [États-Unis] ; Nikolaos Vlassopoulos [France] ; George Lentaris [Grèce] ; Dionysios Reisis [Grèce]A Control-Theoretic Approach for Efficient Design of Filters in DAC and Digital Audio Amplifiers
003D05 (2009) Olivier Bournez [France] ; Walid Gomaa [France] ; Emmanuel Hainry [France]Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions
003E28 (2008-09-29) Novak Novakovic [France]Proof-theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in EL w.r.t. Hybrid TBoxes
004011 (2008-05-13) Franz Baader ; Novak Novakovic [France] ; Boontawee SuntisrivarapornA Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes
004056 (2008-04) Sylvain Pogodalla [France]Exploring a type-theoretic approach to accessibility constraint modelling
004652 (2007-11-15) Philippe De Groote [France] ; Sarah Maarek [France]Type-theoretic extensions of Abstract Categorial Grammars
004A14 (2007-01-10) Sylvain Pogodalla [France]Generalizing a Proof-Theoretic Account of Scope Ambiguity
005429 (2006) G. Bonfante [France] ; M. Kaczmarek [France] ; J.-Y. Marion [France]On Abstract Computer Virology from a Recursion Theoretic Perspective
005974 (2005-07-06) Simon Le Gloannec [France] ; Abdel-Illah Mouaddib [France] ; François Charpillet [France]A Decision-Theoretic Scheduling of Resource-Bounded Agents in Dynamic Environments
005D57 (2005) Simon Le Gloannec ; Abdel-Illah Mouaddib ; François CharpilletA Decision-Theoretic Scheduling of Resource-Bounded Agents in Dynamic Environments
008E75 (2001) Hélène Kirchner ; Peter D. MossesAlgebraic Specifications, Higher-order Types and Set-theoretic Models
009321 (2001) Geoffrey K. Pullum [États-Unis] ; Barbara C. Scholz [États-Unis]On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks
009389 (2001) He Le Ne Kirchner ; Peter D. MossesAlgebraic Specifications, Higher‐order Types and Set‐theoretic Models

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/Title.i -k "theoretic" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "theoretic" \
         | 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=    Title.i
   |clé=    theoretic
}}
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