Filtrer vos résultats
- 15
- 3
- 9
- 4
- 3
- 2
- 11
- 2
- 1
- 1
- 1
- 1
- 2
- 6
- 2
- 1
- 2
- 1
- 18
- 15
- 10
- 9
- 2
- 18
- 8
- 8
- 4
- 2
- 1
- 1
- 1
- 1
- 1
18 résultats
|
|
|
triés par
|
On the expressive power of system T of Godel: intensional behaviourIV Brasilium Symposium on Programming Language, 2000, Recife, Brazil
Communication dans un congrès
hal-00083381v1
|
|||
|
|
Extending the Loop Language with Higher-Order Procedural Variables2008
Autre publication scientifique
hal-00385411v1
|
||
On the Expressive Power of the Loop LanguageNordic Journal of Computing, 2006, 13, http://www.cs.helsinki.fi/njc
Article dans une revue
hal-00089848v1
|
|||
|
|
Extending the loop language with higher-order procedural variablesACM Transactions on Computational Logic, 2009, 10 (4), pp.1--37. ⟨10.1145/1555746.1555750⟩
Article dans une revue
hal-00422158v1
|
||
|
|
Evolving MultiAlgebras unify all usual sequential computation models27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.417-428
Communication dans un congrès
inria-00455373v1
|
||
Sequence of Enumeration of QROBDD2004
Autre publication scientifique
hal-00081330v1
|
|||
HFE and BDDs: A Practical Attempt at Cryptanalysis2004, pp.11
Communication dans un congrès
hal-00081338v1
|
|||
BFCA'06 Boolean Functions: Cryptography and ApplicationsJean-Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. Presses Universitaires de Rouen et du Havre, pp.202, 2006
Ouvrages
hal-00131767v1
|
|||
Call-by-name vs call-by-value in primitive recursion : storage operator5th International Workshop on Reduction Strategies in Rewriting and Programming, 2005, Nara, Japan
Communication dans un congrès
hal-00083376v1
|
|||
Analysis of HFE from a BDD point of viewCCC'03, 2003, China
Communication dans un congrès
hal-00081341v1
|
|||
Boolean Functions: Cryptography and Applications.Presses Universitaires de Rouen et du Havre, pp.204, 2005
Ouvrages
hal-00081317v1
|
|||
On Maximal QROBDD's of Boolean FunctionsRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2005, 39, pp.ITA0442
Article dans une revue
hal-00081326v1
|
|||
Mahler's expansion and boolean functionsJournal of Integer Sequences, 2007, 10 (3), pp.07.3.4
Article dans une revue
hal-00139041v1
|
|||
On the expressive power of Loop language17th Nordic Workshop on Programming Theory, 2005, Copenhaguen, Denmark
Communication dans un congrès
hal-00083374v1
|
|||
About implementation of primitive recursive algorithmsInternational Workshop on Abstract State Machine, 2005, Paris, France
Communication dans un congrès
hal-00083380v1
|
|||
Intensional semantics of systel T of Godel2000, pp.230-243
Communication dans un congrès
hal-00083382v1
|
|||
Intensionality and Extenstionality and primitive recursion1996, pp.142-151
Communication dans un congrès
hal-00083383v1
|
|||
BFCA'05 - Boolean Functions: Cryptography and ApplicationsJean-Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. Presses Universitaires de Rouen et du Havre, pp.204, 2005
Ouvrages
hal-00139042v1
|