- Extensional and Intensional Strategies Tony Bourdier Horatiu Cirstea
- Rewriting and Multisets in -calculus and Horatiu Cirstea & Claude Kirchner
- QSP8@TT Q@S QSP8@TTPS 6GGP86UDPI VTDIB B@I@UD8 6GBPSDUCHT
- The rewriting calculus as a semantics of ELAN Horatiu Cirstea and Claude Kirchner
- RULE 2003 Preliminary Version Translating Combinatory Reduction Systems
- SecReT 2008 Preliminary Version Rewrite Based Specification of Access Control
- Confluence of Pattern-Based Calculi Horatiu Cirstea and Germain Faure
- WRLA 2006 Preliminary Version Distributive -calculus
- janvier 2004 Journes Francophones des Langages Applicatifs JFLA04 Decidable Type Inference for the
- Expressing Combinatory Reduction Systems Derivations in the Rewriting Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
- TermGraph 2004 Preliminary Version A rewriting calculus for
- WRLA 2004 Preliminary Version A -calculus of explicit constraint application
- WRLA 2004 Preliminary Version Rule Based Programming in java
- Rewriting Calculus with Fixpoints: Untyped and First-order Systems
- WRLA 2002 Preliminary Version Rewriting Calculus with(out) Types
- The Rho Cube Horatiu Cirstea, Claude Kirchner, and Luigi Liquori
- Rewriting and Multisets in -calculus and Horatiu Cirstea & Claude Kirchner
- Combining Higher-Order and First-Order Computation Using -calculus
- The rewriting calculus as a semantics to strategy application.
- 23(1 6<67(06 6(&85,7< +RUDWLX &LUVWHD $GULDQ /RFXVWHDQX )ORULQ 3DXQHVFX &ULVWLDQ 3HWFXOHVFX
- OPEN COMPUTING Horatiu Cirstea, Adrian Locusteanu, Dr. Florin Paunescu
- Departement de formation doctorale en informatique Ecole doctorale IAEM Lorraine
- The rewriting calculus Horatiu Crstea
- RueSaint-Dizier RueSaint-Dizier
- The rewriting calculus --Part I HORATIU CIRSTEA, LORIA and INRIA, Campus Scientifique,
- The rewriting calculus --Part II HORATIU CIRSTEA, LORIA and INRIA, Campus Scientifique,
- Matching Power {Extended Abstract{
- PQ@I T`TU@HT T@8VSDU` C'...h#v 8v...+#rh# 6q...vh G'p+#rh# Ay'...v Qhr+p# 8...v+#vh Qr#pyr+p
- PROCESS PER PROCESSOR ALLOCATION USING GENETIC ALGORITHMS
- The rewriting calculus Horatiu Crstea
- aeCalculus Its Syntax and Basic Properties
- OPEN COMPUTING C'...h#v 8v...+#rh# 6q...vh G'p+#rh# 9...# Ay'...v Qhr+p
- Theorem proving using computational systems: The case of the B predicate prover
- WRS 2003 Preliminary Version Rewrite Strategies in the Rewriting Calculus
- Departement de formation doctorale en informatique Ecole doctorale IAEM Lorraine
- Specifying Authentication Protocols Using ELAN Horatiu Cirstea
- D epartement de formation doctorale en informatique Ecole doctorale IAE + M
- Anti-patterns for Rule-based Languages Horatiu Cirstea
- TomML: A Rule Language For Structured Data Horatiu Cirstea, Pierre-Etienne Moreau, and Antoine Reilles
- RULE 2003 Preliminary Version Translating Combinatory Reduction Systems
- WRLA 2004 Preliminary Version The simply typed rewriting calculus
- The Rho Cube Horatiu Cirstea, Claude Kirchner, and Luigi Liquori
- The rewriting calculus --Part II HORATIU CIRSTEA, LORIA and INRIA, Campus Scientifique,
- The rewriting calculus --Part I HORATIU CIRSTEA, LORIA and INRIA, Campus Scientifique,
- A -calculus of explicit constraint application Horatiu Cirstea Germain Faure Claude Kirchner
- Departement de formation doctorale en informatique Ecole doctorale IAEM Lorraine Calcul de reecriture
- Using Rewriting and Strategies for Describing the B Predicate Horatiu Cirstea & Claude Kirchner
- Combining Higher-Order and First-Order Computation Using -calculus
- Specifying Authentication Protocols Using Rewriting and Strategies
- Analysis of Lattice-Based Access Control Policies using Rewiting Systems and Tom Tony Bourdier, Horatiu Cirstea
- The simply typed rewriting calculus Horatiu Cirstea
- Matching Power Horatiu Cirstea, Claude Kirchner, and Luigi Liquori
- WRS 2006 Preliminary Version From functional programs to interaction nets
- WRS 2007 Preliminary Version Towards a sharing strategy for the graph
- Curriculum vitae Horatiu CIRSTEA
- Pure Patterns Type Systems Gilles Barthe and Horatiu Cirstea and Claude Kirchner and Luigi Liquori
- Recueil d'articles Horatiu Cirstea
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- Math. Struct. in Comp. Science A rewriting calculus for cyclic higher-order
- Specifying Authentication Protocols Using Rewriting and Strategies
