orchestration < order < ordered

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000156 (2013)	Konstantin Korovin [Royaume-Uni]	Non-cyclic Sorts for First-Order Satisfiability
000227 (2013)	Guillaume Burel [France] ; Simon Cruanes [France]	Detection of First Order Axiomatic Theories
000244 (2013)	Abdelkader Kersani [France] ; Nicolas Peltier [France]	Completeness and Decidability Results for First-Order Clauses with Indices
000246 (2013)	Pierre Lescanne [France]	Common Knowledge Logic in a Higher Order Proof Assistant
000276 (2013)	Christoph Wernhard [Allemagne]	Abduction in Logic Programming as Second-Order Quantifier Elimination
000402 (2012)	Florent Jacquemard [France] ; Étienne Lozes [France, Allemagne] ; Ralf Treinen [France] ; Jules Villard [France, Royaume-Uni]	Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus
000638 (2011)	Christoph Benzmüller [États-Unis]	Combining and automating classical and non-classical logics in classical higher-order logics
000978 (2009)	Michael Leuschel [Allemagne] ; Dominique Cansell [France] ; Michael Butler [Royaume-Uni]	Validating and Animating Higher-Order Recursive Functions in B
000A19 (2009)	José Meseguer	Order-Sorted Parameterization and Induction
000A87 (2009)	Gergei Bana [Portugal] ; Koji Hasebe [Japon] ; Mitsuhiro Okada [Japon]	Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols
000A90 (2009)	Pascal Fontaine [France]	Combinations of Theories for Decidable Fragments of First-Order Logic
000B27 (2009)	Naohi Eguchi [Japon]	A lexicographic path order with slow growing derivation bounds
000B40 (2009)	Oana Andrei [France] ; Hélène Kirchner [France]	A Higher-Order Graph Calculus for Autonomic Computing
000E65 (2008)	Jean-Yves Marion [France] ; Romain Péchoux [France]	A Characterization of NC k by First Order Functional Programs
001301 (2006)	Germain Faure [France]	Matching Modulo Superdevelopments Application to Second-Order Matching
001323 (2006)	Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne]	Higher-Order Termination: From Kruskal to Computability
001374 (2006)	Frédéric Blanqui Inria [France] ; Colin Riba Inpl [France]	Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems
001410 (2006)	Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Romain Péchoux [France]	A Characterization of Alternating Log Time by First Order Functional Programs
001497 (2005)	J.-F. Mari [France] ; F. Le Ber [France]	Temporal and spatial data mining with second-order hidden markov models
001525 (2005)	Gopalan Nadathur [États-Unis] ; Natalie Linnell [États-Unis]	Practical Higher-Order Pattern Unification with On-the-Fly Raising
001742 (2004)	Georg Gottlob [Autriche]	Second-Order Logic over Finite Structures – Report on a Research Programme

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "order" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "order" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    order
}}

---

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